Triple

T2169586
Position Surface form Disambiguated ID Type / Status
Subject Edmund M. Clarke E46990 entity
Predicate coInventedWith P1858 FINISHED
Object E. Allen Emerson E81270 NE FINISHED

How this triple was built (2 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: E. Allen Emerson | Statement: [Edmund M. Clarke, coInventedWith, E. Allen Emerson]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: E. Allen Emerson
Context triple: [Edmund M. Clarke, coInventedWith, E. Allen Emerson]
  • A. E. Allen Emerson chosen
    E. Allen Emerson is a prominent computer scientist best known for his pioneering work in model checking and temporal logic in formal verification.
  • B. Horace Newton Allen
    Horace Newton Allen was an American medical missionary and diplomat who played a key role in introducing Western medicine to Korea in the late 19th century.
  • C. Charles Emerson
    Charles Emerson was a 19th-century American lawyer and lecturer, best known as the intellectually gifted but short-lived younger brother of transcendentalist writer Ralph Waldo Emerson.
  • D. Henry Hodge Gresford Jones
    Henry Hodge Gresford Jones was an Anglican bishop who became notable as the inaugural leader of the Diocese of St Edmundsbury and Ipswich in the Church of England.
  • E. Sidney Blackmer
    Sidney Blackmer was an American stage, film, and television actor best known for his character roles in classic Hollywood cinema, including his memorable performance in "Rosemary's Baby."
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (3 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_69a88a184cbc8190877791f6552c2484 completed March 4, 2026, 7:38 p.m.
NER Named-entity recognition batch_69abbeaeb58881908ad34f7b253bac2a completed March 7, 2026, 5:59 a.m.
NED1 Entity disambiguation (via context triple) batch_69ae58f511a08190880fbde8900d59df completed March 9, 2026, 5:21 a.m.
Created at: March 4, 2026, 7:45 p.m.