Triple

T3380951
Position Surface form Disambiguated ID Type / Status
Subject Alfred Tarski E71180 entity
Predicate notableStudent P4838 FINISHED
Object Steven Givant
Steven Givant is a mathematician known for his work in algebraic logic and for coauthoring influential texts on relation algebras and the foundations of mathematics.
E354423 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: Steven Givant | Statement: [Alfred Tarski, notableStudent, Steven Givant]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Steven Givant
Context triple: [Alfred Tarski, notableStudent, Steven Givant]
  • A. Stephen Frank
    Stephen Frank was an early American pioneer after whom the city of Frankfort, Kentucky, is named.
  • B. Paul Scheuring
    Paul Scheuring is an American screenwriter, director, and producer best known as the creator of the television series "Prison Break."
  • C. Cary Coglianese
    Cary Coglianese is an American legal scholar known for his expertise in administrative law, regulation, and regulatory policy, and for founding the Penn Program on Regulation at the University of Pennsylvania.
  • D. Warren Spady
    Warren Spady is a designer best known for creating the trophy awarded in the historic Oregon–Oregon State college football rivalry.
  • E. John Gibbon
    John Gibbon was a 19th-century United States Army officer and Civil War general who later played a key role in the Indian Wars, including campaigns against the Nez Perce.
  • 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: Steven Givant
Triple: [Alfred Tarski, notableStudent, Steven Givant]
Generated description
Steven Givant is a mathematician known for his work in algebraic logic and for coauthoring influential texts on relation algebras and the foundations of mathematics.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Steven Givant
Target entity description: Steven Givant is a mathematician known for his work in algebraic logic and for coauthoring influential texts on relation algebras and the foundations of mathematics.
  • A. Stephen Frank
    Stephen Frank was an early American pioneer after whom the city of Frankfort, Kentucky, is named.
  • B. Paul Scheuring
    Paul Scheuring is an American screenwriter, director, and producer best known as the creator of the television series "Prison Break."
  • C. Cary Coglianese
    Cary Coglianese is an American legal scholar known for his expertise in administrative law, regulation, and regulatory policy, and for founding the Penn Program on Regulation at the University of Pennsylvania.
  • D. Warren Spady
    Warren Spady is a designer best known for creating the trophy awarded in the historic Oregon–Oregon State college football rivalry.
  • E. John Gibbon
    John Gibbon was a 19th-century United States Army officer and Civil War general who later played a key role in the Indian Wars, including campaigns against the Nez Perce.
  • 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_69ad85a7f80c8190a05e43013f298942 completed March 8, 2026, 2:20 p.m.
NER Named-entity recognition batch_69adb5e7c7f48190afb78c311b424c93 completed March 8, 2026, 5:46 p.m.
NED1 Entity disambiguation (via context triple) batch_69b34bc17dd881908fc5fb0d4a23f40f completed March 12, 2026, 11:26 p.m.
NEDg Description generation batch_69b34e45a6c08190a0011eaa60f3d50a completed March 12, 2026, 11:37 p.m.
NED2 Entity disambiguation (via description) batch_69b34eba517881908806b1ac285448ff completed March 12, 2026, 11:39 p.m.
Created at: March 8, 2026, 3:14 p.m.