Triple
T20836693
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Saharon Shelah |
E512976
|
entity |
| Predicate | familyName |
P18
|
FINISHED |
| Object | Shelah |
—
|
NE NERFINISHED |
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: Shelah | Statement: [Saharon Shelah, familyName, Shelah]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Shelah Context triple: [Saharon Shelah, familyName, Shelah]
-
A.
Shelah
Shelah is a minor biblical figure mentioned in the Book of Genesis as one of the sons in the family line of Judah.
-
B.
Saharon Shelah
chosen
Saharon Shelah is an Israeli mathematician renowned for his groundbreaking work in mathematical logic and set theory, particularly model theory and cardinal arithmetic.
-
C.
Itay Neeman
Itay Neeman is a set theorist and logician known for his work in descriptive set theory and inner model theory.
-
D.
Aharoni
Aharoni is a Hebrew surname derived from the given name Aharon (Aaron), commonly associated with Jewish families of Levantine origin.
-
E.
Thomas Jech
Thomas Jech is a Czech-American mathematician renowned for his contributions to set theory, particularly in the areas of forcing and the foundations of mathematics.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
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_69e0b4cf62a88190bbf92351e9e57259 |
completed | April 16, 2026, 10:07 a.m. |
| NER | Named-entity recognition | batch_69e6c326daec8190bd4caa41a4b38833 |
completed | April 21, 2026, 12:21 a.m. |
Created at: April 16, 2026, 12:42 p.m.