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: Hasse diagram (in lattice theory) | Statement: [Helmut Hasse, notableWork, Hasse diagram (in lattice theory)]

Target entity: Hasse diagram (in lattice theory)
Context triple: [Helmut Hasse, notableWork, Hasse diagram (in lattice theory)]

• A. DAG
  DAG is the National Rail station code for Dalgety Bay railway station in Fife, Scotland.
• B. Sperner's lemma
  Sperner's lemma is a fundamental result in combinatorial topology that guarantees the existence of a fully labeled simplex in certain labeled triangulations, and is widely used to prove fixed-point and equilibrium theorems.
• C. Tucker’s lemma
  Tucker’s lemma is a combinatorial analog of the Borsuk–Ulam theorem that provides conditions guaranteeing the existence of certain complementary edge labels in triangulated spheres.
• D. Hertzsprung–Russell diagram
  The Hertzsprung–Russell diagram is a fundamental astronomical chart that plots stars’ luminosities against their temperatures or spectral types, revealing key patterns of stellar evolution and classification.
• E. Hilbert’s Nullstellensatz
  Hilbert’s Nullstellensatz is a foundational theorem in algebraic geometry that establishes a deep correspondence between ideals in polynomial rings and algebraic sets, linking algebra and geometry.
• 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: Hasse diagram (in lattice theory)
Triple: [Helmut Hasse, notableWork, Hasse diagram (in lattice theory)]

A Hasse diagram is a simplified graphical representation of a finite partially ordered set that shows the order relations by connecting elements with upward lines without drawing implied transitive relations.

Target entity: Hasse diagram (in lattice theory)
Target entity description: A Hasse diagram is a simplified graphical representation of a finite partially ordered set that shows the order relations by connecting elements with upward lines without drawing implied transitive relations.

• A. DAG
  DAG is the National Rail station code for Dalgety Bay railway station in Fife, Scotland.
• B. Sperner's lemma
  Sperner's lemma is a fundamental result in combinatorial topology that guarantees the existence of a fully labeled simplex in certain labeled triangulations, and is widely used to prove fixed-point and equilibrium theorems.
• C. Tucker’s lemma
  Tucker’s lemma is a combinatorial analog of the Borsuk–Ulam theorem that provides conditions guaranteeing the existence of certain complementary edge labels in triangulated spheres.
• D. Hertzsprung–Russell diagram
  The Hertzsprung–Russell diagram is a fundamental astronomical chart that plots stars’ luminosities against their temperatures or spectral types, revealing key patterns of stellar evolution and classification.
• E. Hilbert’s Nullstellensatz
  Hilbert’s Nullstellensatz is a foundational theorem in algebraic geometry that establishes a deep correspondence between ideals in polynomial rings and algebraic sets, linking algebra and geometry.
• F. None of above. chosen