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: Playfair's axiom | Statement: [John Playfair, notableWork, Playfair's axiom]

Target entity: Playfair's axiom
Context triple: [John Playfair, notableWork, Playfair's axiom]

• A. Commentary on the Difficulties of Certain Postulates of Euclid
  Commentary on the Difficulties of Certain Postulates of Euclid is a mathematical treatise by Omar Khayyam in which he critically examines and attempts to resolve issues in Euclid’s postulates, especially the parallel postulate, laying early groundwork for later developments in geometry.
• B. Veblen axioms for projective geometry
  The Veblen axioms for projective geometry are a foundational set of incidence-based axioms introduced by Oswald Veblen to rigorously formalize the structure of projective spaces.
• C. The Foundations of Geometry
  The Foundations of Geometry is a seminal mathematical text by Oswald Veblen that rigorously develops the axiomatic basis of geometry in a modern, logical framework.
• D. Thales’ theorem
  Thales’ theorem is a fundamental result in Euclidean geometry stating that any angle inscribed in a semicircle is a right angle.
• E. Grundlagen der Geometrie
  Grundlagen der Geometrie is David Hilbert’s foundational 1899 treatise that rigorously axiomatizes Euclidean geometry and helped shape modern mathematical logic and the axiomatic method.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Playfair's axiom
Triple: [John Playfair, notableWork, Playfair's axiom]

Playfair's axiom is a reformulation of Euclid’s parallel postulate stating that through a point not on a given line there is exactly one line parallel to the given line, fundamental to Euclidean geometry.

Target entity: Playfair's axiom
Target entity description: Playfair's axiom is a reformulation of Euclid’s parallel postulate stating that through a point not on a given line there is exactly one line parallel to the given line, fundamental to Euclidean geometry.

• A. Commentary on the Difficulties of Certain Postulates of Euclid
  Commentary on the Difficulties of Certain Postulates of Euclid is a mathematical treatise by Omar Khayyam in which he critically examines and attempts to resolve issues in Euclid’s postulates, especially the parallel postulate, laying early groundwork for later developments in geometry.
• B. Veblen axioms for projective geometry
  The Veblen axioms for projective geometry are a foundational set of incidence-based axioms introduced by Oswald Veblen to rigorously formalize the structure of projective spaces.
• C. The Foundations of Geometry
  The Foundations of Geometry is a seminal mathematical text by Oswald Veblen that rigorously develops the axiomatic basis of geometry in a modern, logical framework.
• D. Thales’ theorem
  Thales’ theorem is a fundamental result in Euclidean geometry stating that any angle inscribed in a semicircle is a right angle.
• E. Grundlagen der Geometrie
  Grundlagen der Geometrie is David Hilbert’s foundational 1899 treatise that rigorously axiomatizes Euclidean geometry and helped shape modern mathematical logic and the axiomatic method.
• F. None of above. chosen