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: David Hilbert | Statement: [Hilbert’s irreducibility theorem, provenBy, David Hilbert]

Target entity: David Hilbert
Context triple: [Hilbert’s irreducibility theorem, provenBy, David Hilbert]

• A. David Hilbert chosen
  David Hilbert was a pioneering German mathematician whose foundational work in fields such as invariant theory, axiomatic systems, and functional analysis profoundly shaped modern mathematics.
• B. Felix Klein
  Felix Klein was a German mathematician renowned for his work in group theory, non-Euclidean geometry, and the Erlangen Program, which redefined the foundations of geometry.
• C. Leopold Kronecker
  Leopold Kronecker was a 19th-century German mathematician known for his work in number theory, algebra, and logic, and for his influential finitist and constructivist views on mathematics.
• D. Paul Gordan
  Paul Gordan was a 19th-century German mathematician known as the "king of invariant theory" for his foundational work in algebraic invariants.
• E. Richard Dedekind
  Richard Dedekind was a 19th-century German mathematician renowned for his foundational work in abstract algebra and number theory, including the introduction of Dedekind cuts and ideals.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target predicate: provenBy
Context triple: [Hilbert’s irreducibility theorem, provenBy, David Hilbert]

• A. attestedBy
  Indicates that the existence, occurrence, or validity of something is supported, confirmed, or documented by a specified source or authority.
• 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. believedBy
  Indicates that a particular proposition, statement, or entity is held to be true or accepted as real by a specified believer.
• D. confirmedBy
  Indicates that one entity validates, approves, or verifies the truth, accuracy, or occurrence of another entity or event.
• E. demonstratedBy
  Indicates that something is shown, proven, or made evident through the actions, behavior, or example of a particular entity.
• F. None of above.