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: Faddeev’s axioms | Statement: [Dmitry Faddeev, hasAxiomNamedAfter, Faddeev’s axioms]

Target entity: Faddeev’s axioms
Context triple: [Dmitry Faddeev, hasAxiomNamedAfter, Faddeev’s axioms]

• A. Faddeev’s axioms chosen
  Faddeev’s axioms are a set of conditions characterizing Shannon entropy in information theory, providing an alternative but equivalent axiomatization to the Shannon–Khinchin framework.
• B. Osterwalder–Schrader axioms
  The Osterwalder–Schrader axioms are a set of mathematical conditions that characterize Euclidean quantum field theories in a way that allows them to be rigorously continued to physically meaningful relativistic quantum field theories.
• C. Wightman axioms
  The Wightman axioms are a set of rigorous mathematical conditions that formalize relativistic quantum field theory in terms of operator-valued distributions on Hilbert space.
• D. Bogoliubov–Parasyuk theorem
  The Bogoliubov–Parasyuk theorem is a fundamental result in quantum field theory that rigorously establishes a systematic procedure for renormalizing divergent Feynman diagrams.
• E. Faddeev–Popov ghosts
  Faddeev–Popov ghosts are auxiliary, anticommuting fields introduced in the path integral quantization of non-Abelian gauge theories to correctly account for gauge redundancy and maintain unitarity and renormalizability.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target predicate: hasAxiomNamedAfter
Context triple: [Dmitry Faddeev, hasAxiomNamedAfter, Faddeev’s axioms]

• A. hasAxiom chosen
  Indicates that an entity is associated with, defined by, or governed through a specific axiom or set of axioms.
• B. hasAxiomSchema
  Indicates that one entity is associated with, defined by, or governed through a particular axiom schema.
• C. hasSymbolNamedAfter
  Indicates that one entity has a symbol whose name is derived from or dedicated to another entity.
• D. hasPrincipleNamedAfter
  Indicates that an entity has a principle, rule, or law that is named after a specified entity.
• E. hasTheoremNamedAfter
  Indicates that a theorem is named in honor of or after a particular person or entity.
• F. None of above.