Triple

T2151840
Position Surface form Disambiguated ID Type / Status
Subject Rajeev Alur E47797 entity
Predicate coAuthor P398 FINISHED
Object David Dill
David Dill is an American computer scientist known for his influential work in formal verification, model checking, and hardware verification.
 E258550 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: David Dill | Statement: [Rajeev Alur, coAuthor, David Dill]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: David Dill
Context triple: [Rajeev Alur, coAuthor, David Dill]
  • A. Ed Scott
    Ed Scott is a technology entrepreneur best known as a co-founder of BEA Systems, a major enterprise software company later acquired by Oracle.
  • B. Jerry Dandrige
    Jerry Dandrige is the charismatic yet sinister vampire antagonist in the 2011 horror-comedy film "Fright Night."
  • C. Sam J. Jones
    Sam J. Jones is an American actor best known for starring as the title character in the 1980 science fiction film "Flash Gordon."
  • D. James J. Davis
    James J. Davis was a Welsh-born American labor leader and politician who served as U.S. Secretary of Labor in the early 20th century before becoming a long-time U.S. Senator from Pennsylvania.
  • E. Joseph Dallet Jr.
    Joseph Dallet Jr. was an American communist activist and volunteer in the Spanish Civil War who was previously married to Katherine Oppenheimer.
  • 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: David Dill
Triple: [Rajeev Alur, coAuthor, David Dill]
Generated description
David Dill is an American computer scientist known for his influential work in formal verification, model checking, and hardware verification.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07 
Target entity: David Dill
Target entity description: David Dill is an American computer scientist known for his influential work in formal verification, model checking, and hardware verification.
  • A. Ed Scott
    Ed Scott is a technology entrepreneur best known as a co-founder of BEA Systems, a major enterprise software company later acquired by Oracle.
  • B. Jerry Dandrige
    Jerry Dandrige is the charismatic yet sinister vampire antagonist in the 2011 horror-comedy film "Fright Night."
  • C. Sam J. Jones
    Sam J. Jones is an American actor best known for starring as the title character in the 1980 science fiction film "Flash Gordon."
  • D. James J. Davis
    James J. Davis was a Welsh-born American labor leader and politician who served as U.S. Secretary of Labor in the early 20th century before becoming a long-time U.S. Senator from Pennsylvania.
  • E. Joseph Dallet Jr.
    Joseph Dallet Jr. was an American communist activist and volunteer in the Spanish Civil War who was previously married to Katherine Oppenheimer.
  • 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_69a88a1d1fd8819088b34990d69a712f completed March 4, 2026, 7:38 p.m.
NER Named-entity recognition batch_69abbe48ad148190a7d6cc88fd38a660 completed March 7, 2026, 5:57 a.m.
NED1 Entity disambiguation (via context triple) batch_69ae95f487708190b06a536dd20a069a completed March 9, 2026, 9:42 a.m.
NEDg Description generation batch_69ae9694c390819095b3e935224902d3 completed March 9, 2026, 9:44 a.m.
NED2 Entity disambiguation (via description) batch_69ae9a5b2a04819091b102c51a5b2af4 completed March 9, 2026, 10 a.m.
Created at: March 4, 2026, 7:44 p.m.