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: Atle Selberg | Statement: [prime number theorem, elementaryProofBy, Atle Selberg]

Target entity: Atle Selberg
Context triple: [prime number theorem, elementaryProofBy, Atle Selberg]

• A. Atle Selberg chosen
  Atle Selberg was a Norwegian mathematician renowned for his profound contributions to analytic number theory, particularly the Selberg trace formula and work related to the Riemann zeta function.
• B. Harald Cramér
  Harald Cramér was a Swedish mathematician and statistician renowned for his foundational contributions to probability theory and mathematical statistics.
• C. Frigyes Reiner
  Frigyes Reiner was a renowned 20th-century Hungarian-American conductor celebrated for his precise technique and influential leadership of major orchestras, especially the Chicago Symphony Orchestra.
• D. Rolf Nevanlinna
  Rolf Nevanlinna was a Finnish mathematician best known for founding value distribution theory (Nevanlinna theory) in complex analysis.
• E. Edmund Landau
  Edmund Landau was a prominent German mathematician known for his foundational work in analytic number theory and the rigorous development of mathematical analysis.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target predicate: elementaryProofBy
Context triple: [prime number theorem, elementaryProofBy, Atle Selberg]

• A. partialProofBy
  Indicates that one entity serves as an incomplete or intermediate proof contributing toward the full proof of another entity.
• B. typicalProofUses
  Indicates that a proof characteristically or commonly employs a particular method, technique, or component.
• C. lemma
  Indicates that one entity is the canonical dictionary form (lemma) from which the other entity’s inflected or derived forms originate.
• D. proved chosen
  Indicates that one entity has demonstrated the truth or validity of another entity (such as a statement, theorem, or claim) through logical or evidential means.
• E. usedInProofStyle
  Indicates that one entity is employed as a method, technique, or approach within the proof style or strategy of another entity.
• F. None of above.