Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Leonid Levin | Statement: [Cook–Levin theorem, independentlyProvedBy, Leonid Levin]

Target entity: Leonid Levin
Context triple: [Cook–Levin theorem, independentlyProvedBy, Leonid Levin]

• A. Leonid Levin chosen
  Leonid Levin is a Soviet-American computer scientist known as a co-founder of complexity theory and for independently formulating the P versus NP problem.
• B. Lev Shvarts
  Lev Shvarts was a Soviet composer known for his film scores and other orchestral works during the mid-20th century.
• C. Lev Shlosberg
  Lev Shlosberg is a Russian liberal politician, journalist, and human rights advocate known for his opposition to the Kremlin and his work within the Yabloko party.
• D. Lev Yudin
  Lev Yudin was a Russian avant-garde artist associated with the UNOVIS group, contributing to the development and dissemination of Suprematist art in the early 20th century.
• E. Evgeny Lifshitz
  Evgeny Lifshitz was a Soviet theoretical physicist best known for co-authoring the influential multi-volume "Course of Theoretical Physics" and for his contributions to general relativity and cosmology.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target predicate: independentlyProvedBy
Context triple: [Cook–Levin theorem, independentlyProvedBy, Leonid Levin]

• A. independenceProvedBy
  Indicates that the independence of something (such as a statement, axiom, or system) is established or demonstrated by a particular proof, method, or agent.
• B. attestedBy
  Indicates that the existence, occurrence, or validity of something is supported, confirmed, or documented by a specified source or authority.
• C. partiallyProvenFor
  Indicates that something has been shown to hold or be true for part of a domain or set of cases, but not yet for all cases.
• D. laterProofBy
  Indicates that one proof is derived or established after, and possibly building upon, an earlier proof.
• E. wasFirstProvedBy
  Indicates that a particular statement, theorem, or result was originally and for the first time demonstrated or established as true by a specified agent.
• F. None of above. chosen