Triple

T5357422
Position Surface form Disambiguated ID Type / Status
Subject Dale Miller E102730 entity
Predicate notableConcept P201 FINISHED
Object Abella
Abella is an interactive theorem prover and proof assistant designed for reasoning about relational specifications, particularly those involving higher-order abstract syntax and inductive and coinductive definitions.
 E514254 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: Abella | Statement: [Dale Miller, notableConcept, Abella]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Abella
Context triple: [Dale Miller, notableConcept, Abella]
  • A. Abella
    Abella was an ancient town in Campania, Italy, known from Roman-era inscriptions and archaeological remains.
  • B. Apphia
    Apphia is a Christian woman mentioned in the New Testament as one of the recipients of Paul’s Epistle to Philemon, traditionally thought to be a member of Philemon’s household, possibly his wife.
  • C. Barellan
    Barellan is a small rural town in the Riverina region of New South Wales, Australia, known for its grain farming and association with tennis champion Evonne Goolagong-Cawley.
  • D. Alberoni
    Alberoni is an Italian surname most notably associated with Giulio Alberoni, an influential 18th-century cardinal and statesman.
  • E. Ascella
    Ascella is a prominent multiple star system in the constellation Sagittarius, known for being one of its brightest and most easily visible stars.
  • 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: Abella
Triple: [Dale Miller, notableConcept, Abella]
Generated description
Abella is an interactive theorem prover and proof assistant designed for reasoning about relational specifications, particularly those involving higher-order abstract syntax and inductive and coinductive definitions.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07 
Target entity: Abella
Target entity description: Abella is an interactive theorem prover and proof assistant designed for reasoning about relational specifications, particularly those involving higher-order abstract syntax and inductive and coinductive definitions.
  • A. Abella
    Abella was an ancient town in Campania, Italy, known from Roman-era inscriptions and archaeological remains.
  • B. Apphia
    Apphia is a Christian woman mentioned in the New Testament as one of the recipients of Paul’s Epistle to Philemon, traditionally thought to be a member of Philemon’s household, possibly his wife.
  • C. Barellan
    Barellan is a small rural town in the Riverina region of New South Wales, Australia, known for its grain farming and association with tennis champion Evonne Goolagong-Cawley.
  • D. Alberoni
    Alberoni is an Italian surname most notably associated with Giulio Alberoni, an influential 18th-century cardinal and statesman.
  • E. Ascella
    Ascella is a prominent multiple star system in the constellation Sagittarius, known for being one of its brightest and most easily visible stars.
  • 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_69bd43d8f7248190b64c140734b5c9a8 completed March 20, 2026, 12:55 p.m.
NER Named-entity recognition batch_69bd863099b081909d20f7014b98de5a completed March 20, 2026, 5:38 p.m.
NED1 Entity disambiguation (via context triple) batch_69bf21e6762481909278935a4eeee177 completed March 21, 2026, 10:55 p.m.
NEDg Description generation batch_69bf228956d481909e9f3c11f4597cce completed March 21, 2026, 10:58 p.m.
NED2 Entity disambiguation (via description) batch_69bf230b571481909f76ada72d94c8d8 completed March 21, 2026, 11 p.m.
Created at: March 20, 2026, 2:01 p.m.