Triple

T3589744
Position Surface form Disambiguated ID Type / Status
Subject Harrison E75996 entity
Predicate hasNotableBearer P458 FINISHED
Object Michael Harrison (mathematician)
Michael Harrison is a mathematician known for his contributions to formal language theory and the foundations of programming language semantics.
E371703 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: Michael Harrison (mathematician) | Statement: [Harrison, hasNotableBearer, Michael Harrison (mathematician)]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Michael Harrison (mathematician)
Context triple: [Harrison, hasNotableBearer, Michael Harrison (mathematician)]
  • A. Nigel Hitchin
    Nigel Hitchin is a prominent British mathematician known for his influential work in differential and algebraic geometry, particularly the introduction of Higgs bundles and contributions to gauge theory and mirror symmetry.
  • B. Simon P. Norton
    Simon P. Norton was a British mathematician known for his influential work in group theory, particularly on the Monster group and related finite simple groups.
  • C. Christopher Zeeman
    Christopher Zeeman was a British mathematician renowned for his work in geometric topology and catastrophe theory, and for his influential role in popularizing mathematics.
  • D. Robin Wilson
    Robin Wilson is the son of former British Prime Minister Harold Wilson and his wife Mary Wilson.
  • E. Timothy Gowers
    Timothy Gowers is a British mathematician renowned for his work in functional analysis and combinatorics, a Fields Medalist, and a prominent advocate for open access and collaborative mathematics.
  • 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: Michael Harrison (mathematician)
Triple: [Harrison, hasNotableBearer, Michael Harrison (mathematician)]
Generated description
Michael Harrison is a mathematician known for his contributions to formal language theory and the foundations of programming language semantics.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Michael Harrison (mathematician)
Target entity description: Michael Harrison is a mathematician known for his contributions to formal language theory and the foundations of programming language semantics.
  • A. Nigel Hitchin
    Nigel Hitchin is a prominent British mathematician known for his influential work in differential and algebraic geometry, particularly the introduction of Higgs bundles and contributions to gauge theory and mirror symmetry.
  • B. Simon P. Norton
    Simon P. Norton was a British mathematician known for his influential work in group theory, particularly on the Monster group and related finite simple groups.
  • C. Christopher Zeeman
    Christopher Zeeman was a British mathematician renowned for his work in geometric topology and catastrophe theory, and for his influential role in popularizing mathematics.
  • D. Robin Wilson
    Robin Wilson is the son of former British Prime Minister Harold Wilson and his wife Mary Wilson.
  • E. Timothy Gowers
    Timothy Gowers is a British mathematician renowned for his work in functional analysis and combinatorics, a Fields Medalist, and a prominent advocate for open access and collaborative mathematics.
  • 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_69ad85d8042081908af94a04c410dec0 completed March 8, 2026, 2:21 p.m.
NER Named-entity recognition batch_69adc13c9514819096adf60b15016b8b completed March 8, 2026, 6:34 p.m.
NED1 Entity disambiguation (via context triple) batch_69b403085e9881908041a32f1dab43d1 completed March 13, 2026, 12:28 p.m.
NEDg Description generation batch_69b4041bc85c8190948b7e47aef0e0d0 completed March 13, 2026, 12:33 p.m.
NED2 Entity disambiguation (via description) batch_69b40872099c81909bc3531bea77f875 completed March 13, 2026, 12:52 p.m.
Created at: March 8, 2026, 3:22 p.m.