Triple

T22709867
Position Surface form Disambiguated ID Type / Status
Subject ANSI X3.226-1994 E561564 entity
Predicate specifies P773 FINISHED
Object Common Lisp numerical tower
The Common Lisp numerical tower is the language’s hierarchical system of numeric types and their relationships, encompassing integers, rationals, reals, and complex numbers with well-defined coercion and arithmetic rules.
E1552652 NE FINISHED

How this triple was built (4 steps)

Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.

NER Named-entity recognition gpt-5-mini
Instruction
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).
Input
Phrase: Common Lisp numerical tower | Statement: [ANSI X3.226-1994, specifies, Common Lisp numerical tower]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Common Lisp numerical tower
Context triple: [ANSI X3.226-1994, specifies, Common Lisp numerical tower]
  • A. Symbolics Common Lisp implementation
    The Symbolics Common Lisp implementation is a specialized, high-performance version of the Common Lisp language designed for Symbolics Lisp machines, featuring advanced development tools and tight integration with the hardware and operating system.
  • B. CMU Common Lisp
    CMU Common Lisp is a high-performance, open-source implementation of the Common Lisp programming language developed at Carnegie Mellon University, notable for its advanced compiler and optimization capabilities.
  • C. Common Lisp Foundation (historical/related efforts)
    The Common Lisp Foundation (historical/related efforts) was an initiative aimed at coordinating, promoting, and supporting the Common Lisp language and its community.
  • D. Armed Bear Common Lisp
    Armed Bear Common Lisp is an implementation of the Common Lisp programming language that runs on the Java Virtual Machine and integrates closely with Java.
  • E. Embeddable Common Lisp
    Embeddable Common Lisp is a lightweight, embeddable implementation of the Common Lisp programming language designed to be integrated into applications and to compile to C for portability and efficiency.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg Description generation gpt-5.1
Instruction
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]"
Input
Entity: Common Lisp numerical tower
Triple: [ANSI X3.226-1994, specifies, Common Lisp numerical tower]
Generated description
The Common Lisp numerical tower is the language’s hierarchical system of numeric types and their relationships, encompassing integers, rationals, reals, and complex numbers with well-defined coercion and arithmetic rules.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Common Lisp numerical tower
Target entity description: The Common Lisp numerical tower is the language’s hierarchical system of numeric types and their relationships, encompassing integers, rationals, reals, and complex numbers with well-defined coercion and arithmetic rules.
  • A. Symbolics Common Lisp implementation
    The Symbolics Common Lisp implementation is a specialized, high-performance version of the Common Lisp language designed for Symbolics Lisp machines, featuring advanced development tools and tight integration with the hardware and operating system.
  • B. CMU Common Lisp
    CMU Common Lisp is a high-performance, open-source implementation of the Common Lisp programming language developed at Carnegie Mellon University, notable for its advanced compiler and optimization capabilities.
  • C. Common Lisp Foundation (historical/related efforts)
    The Common Lisp Foundation (historical/related efforts) was an initiative aimed at coordinating, promoting, and supporting the Common Lisp language and its community.
  • D. Armed Bear Common Lisp
    Armed Bear Common Lisp is an implementation of the Common Lisp programming language that runs on the Java Virtual Machine and integrates closely with Java.
  • E. Embeddable Common Lisp
    Embeddable Common Lisp is a lightweight, embeddable implementation of the Common Lisp programming language designed to be integrated into applications and to compile to C for portability and efficiency.
  • F. None of above. chosen

Provenance (5 batches)

The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.

Step Stage Batch ID Status When
creating Elicitation batch_69e2454f1348819088d83f420925a5c1 completed April 17, 2026, 2:35 p.m.
NER Named-entity recognition batch_69f178d1e24881909ebd4531c0daef7f completed April 29, 2026, 3:19 a.m.
NED1 Entity disambiguation (via context triple) batch_6a0b8fbcdaec81909118d5d34dd4427c completed May 18, 2026, 10:16 p.m.
NEDg Description generation batch_6a0b937b20008190817512be3d48df39 completed May 18, 2026, 10:32 p.m.
NED2 Entity disambiguation (via description) batch_6a0b946320e0819097ef9c4638595dff completed May 18, 2026, 10:36 p.m.
Created at: April 17, 2026, 3:17 p.m.