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: Nikolai Chebotaryov | Statement: [Chebotarev density theorem, wasProvedBy, Nikolai Chebotaryov]

Target entity: Nikolai Chebotaryov
Context triple: [Chebotarev density theorem, wasProvedBy, Nikolai Chebotaryov]

• A. Nikolai Chebotaryov chosen
  Nikolai Chebotaryov was a Russian mathematician best known for his foundational contributions to algebraic number theory, particularly in Galois theory and the distribution of prime ideals.
• B. Aleksandr Khinchin
  Aleksandr Khinchin was a prominent Russian mathematician known for his foundational contributions to probability theory, number theory, and information theory.
• C. Vasily Nikolaevich Yushkevich
  Vasily Nikolaevich Yushkevich was a Soviet military commander and general who played a significant leadership role in the Red Army during World War II.
• D. Mikhail Diterikhs
  Mikhail Diterikhs was a Russian Imperial and later White movement general who played a leading role in anti-Bolshevik military operations in Siberia during the Russian Civil War.
• E. Nikolai Strakhov
  Nikolai Strakhov was a 19th-century Russian philosopher, literary critic, and publicist known for his conservative views and close association with figures like Leo Tolstoy and Fyodor Dostoevsky.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target predicate: wasProvedBy
Context triple: [Chebotarev density theorem, wasProvedBy, Nikolai Chebotaryov]

• A. 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.
• B. 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.
• C. attestedBy
  Indicates that the existence, occurrence, or validity of something is supported, confirmed, or documented by a specified source or authority.
• D. 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.
• E. believedBy
  Indicates that a particular proposition, statement, or entity is held to be true or accepted as real by a specified believer.
• F. None of above.