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: Kochen–Specker theorem | Statement: [Ernst Specker, coAuthorOf, Kochen–Specker theorem]

Target entity: Kochen–Specker theorem
Context triple: [Ernst Specker, coAuthorOf, Kochen–Specker theorem]

• A. Kochen–Specker theorem chosen
  The Kochen–Specker theorem is a foundational result in quantum mechanics showing that it is impossible to assign consistent, noncontextual definite values to all quantum observables, thereby ruling out a broad class of hidden-variable theories.
• B. Gleason’s theorem
  Gleason’s theorem is a foundational result in the mathematical formulation of quantum mechanics that characterizes all probability measures on the lattice of projection operators in a Hilbert space, effectively justifying the Born rule.
• C. Clauser–Horne–Shimony–Holt inequality
  The Clauser–Horne–Shimony–Holt inequality is a key formulation of Bell's inequality used in quantum mechanics to test the incompatibility of local hidden variable theories with the predictions of quantum entanglement.
• D. Frauchiger–Renner paradox
  The Frauchiger–Renner paradox is a thought experiment in quantum foundations that extends Wigner’s friend scenario to argue that standard quantum theory cannot consistently describe its own use by multiple observers.
• E. Einstein–Podolsky–Rosen paradox
  The Einstein–Podolsky–Rosen paradox is a thought experiment that challenges the completeness of quantum mechanics by highlighting the strange, nonlocal correlations predicted for entangled particles.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.