Triple
T19991944
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Gibbard–Satterthwaite theorem |
E494084
|
entity |
| Predicate | namedAfter |
P63
|
FINISHED |
| Object | Mark Satterthwaite |
—
|
NE NERFINISHED |
How this triple was built (3 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: Mark Satterthwaite | Statement: [Gibbard–Satterthwaite theorem, namedAfter, Mark Satterthwaite]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Mark Satterthwaite Context triple: [Gibbard–Satterthwaite theorem, namedAfter, Mark Satterthwaite]
-
A.
Gordon Conway
Gordon Conway is a prominent agricultural ecologist and former president of the Rockefeller Foundation, known for his work on sustainable agriculture and food security in the developing world.
-
B.
Paul Givan
Paul Givan is a Democratic Unionist Party politician who served as First Minister of Northern Ireland.
-
C.
Don Dunstan
Don Dunstan was a prominent Australian politician and reformist Premier of South Australia, renowned for his progressive social, cultural, and legal reforms in the 1960s and 1970s.
-
D.
John Dunning
John Dunning was an 18th-century English lawyer and politician, later created Baron Ashburton, known for his prominent legal career and opposition Whig politics.
-
E.
John Dunning
John Dunning is a music producer best known for his work with the influential alternative rock band My Bloody Valentine.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Mark Satterthwaite Target entity description: Mark Satterthwaite is an American economist best known for co-formulating the Gibbard–Satterthwaite theorem in social choice theory, which shows the inevitability of strategic voting in reasonable voting systems.
-
A.
Gordon Conway
Gordon Conway is a prominent agricultural ecologist and former president of the Rockefeller Foundation, known for his work on sustainable agriculture and food security in the developing world.
-
B.
Paul Givan
Paul Givan is a Democratic Unionist Party politician who served as First Minister of Northern Ireland.
-
C.
Don Dunstan
Don Dunstan was a prominent Australian politician and reformist Premier of South Australia, renowned for his progressive social, cultural, and legal reforms in the 1960s and 1970s.
-
D.
John Dunning
John Dunning is a music producer best known for his work with the influential alternative rock band My Bloody Valentine.
-
E.
John Dunning
John Dunning was an 18th-century English lawyer and politician, later created Baron Ashburton, known for his prominent legal career and opposition Whig politics.
- F. None of above. chosen
Provenance (2 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_69da626a67648190af9653832a3aeced |
completed | April 11, 2026, 3:02 p.m. |
| NER | Named-entity recognition | batch_69e65fe10ffc81908c94168b0a8ea9c9 |
completed | April 20, 2026, 5:18 p.m. |
Created at: April 11, 2026, 3:31 p.m.