Triple

T17207019
Position Surface form Disambiguated ID Type / Status
Subject Delgamuukw v. British Columbia E417628 entity
Predicate judge P3169 FINISHED
Object Charles Gonthier
Charles Gonthier was a Canadian jurist who served as a justice of the Supreme Court of Canada, contributing significantly to the development of Canadian constitutional and Aboriginal law.
 E1256398 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: Charles Gonthier | Statement: [Delgamuukw v. British Columbia, judge, Charles Gonthier]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Charles Gonthier
Context triple: [Delgamuukw v. British Columbia, judge, Charles Gonthier]
  • A. Gilles Dowek
    Gilles Dowek is a French logician and computer scientist known for his influential work in proof theory, type systems, and automated deduction.
  • B. Thierry Coquand
    Thierry Coquand is a French logician and computer scientist known for his work on type theory, constructive mathematics, and the development of the calculus of constructions.
  • C. Vaughan Pratt
    Vaughan Pratt is a computer scientist known for his contributions to algorithms and formal methods, including co-developing the Knuth–Morris–Pratt string-searching algorithm.
  • D. Martin Davis
    Martin Davis was an American mathematician and logician renowned for his foundational work in computability theory and the Entscheidungsproblem, including contributions to the Davis–Putnam algorithm.
  • E. Gerard J. Holzmann
    Gerard J. Holzmann is a computer scientist best known for creating the SPIN model checker and for his influential work in formal verification and software reliability.
  • 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: Charles Gonthier
Triple: [Delgamuukw v. British Columbia, judge, Charles Gonthier]
Generated description
Charles Gonthier was a Canadian jurist who served as a justice of the Supreme Court of Canada, contributing significantly to the development of Canadian constitutional and Aboriginal law.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07 
Target entity: Charles Gonthier
Target entity description: Charles Gonthier was a Canadian jurist who served as a justice of the Supreme Court of Canada, contributing significantly to the development of Canadian constitutional and Aboriginal law.
  • A. Gilles Dowek
    Gilles Dowek is a French logician and computer scientist known for his influential work in proof theory, type systems, and automated deduction.
  • B. Thierry Coquand
    Thierry Coquand is a French logician and computer scientist known for his work on type theory, constructive mathematics, and the development of the calculus of constructions.
  • C. Vaughan Pratt
    Vaughan Pratt is a computer scientist known for his contributions to algorithms and formal methods, including co-developing the Knuth–Morris–Pratt string-searching algorithm.
  • D. Martin Davis
    Martin Davis was an American mathematician and logician renowned for his foundational work in computability theory and the Entscheidungsproblem, including contributions to the Davis–Putnam algorithm.
  • E. Gerard J. Holzmann
    Gerard J. Holzmann is a computer scientist best known for creating the SPIN model checker and for his influential work in formal verification and software reliability.
  • 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_69d886d6ba8c819093215917b3d01689 completed April 10, 2026, 5:12 a.m.
NER Named-entity recognition batch_69e42dc193488190a2c5a48ce7f631a9 completed April 19, 2026, 1:20 a.m.
NED1 Entity disambiguation (via context triple) batch_6a015fe0a28c8190a76b3a356f7e0478 completed May 11, 2026, 4:49 a.m.
NEDg Description generation batch_6a0161ceed2081908d2efe69c5bc06a0 completed May 11, 2026, 4:57 a.m.
NED2 Entity disambiguation (via description) batch_6a0162692420819097b99a71ec470861 completed May 11, 2026, 5 a.m.
Created at: April 10, 2026, 5:38 a.m.