Triple
T26254919
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | T : z ↦ z + 1 |
E656690
|
entity |
| Predicate | isCuspidalTranslationAt |
P160144
|
FINISHED |
| Object | the cusp at ∞ |
—
|
LITERAL 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: the cusp at ∞ | Statement: [T : z ↦ z + 1, isCuspidalTranslationAt, the cusp at ∞]
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: isCuspidalTranslationAt Context triple: [T : z ↦ z + 1, isCuspidalTranslationAt, the cusp at ∞]
-
A.
isTranslatedBy
Indicates that one entity serves as the translator or translating agent responsible for rendering the content of another entity into a different language or form.
-
B.
hasMaximalCompactSubgroupOf
Indicates that one mathematical group is the maximal compact subgroup contained within another group.
-
C.
hasNumberOfCusps
Indicates the specific count of cusps (pointed projections or tips) that an entity possesses.
-
D.
hasParabolicSubgroupsCorrespondingTo
Indicates that one mathematical structure possesses parabolic subgroups that correspond in a defined way to elements or substructures of another entity.
-
E.
hasParabolicSubgroups
Indicates that one mathematical object (typically a group) possesses parabolic subgroups related to it, usually in the sense of subgroup structures defined by a parabolic construction.
- F. None of above. chosen
Provenance (4 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_69ee5b4d25ac819086acb51184602576 |
completed | April 26, 2026, 6:37 p.m. |
| NER | Named-entity recognition | batch_69f60dcd2e688190b54e36b0ff0d9187 |
completed | May 2, 2026, 2:44 p.m. |
| PD | Predicate disambiguation | batch_69f5f7ff548c8190a23e98c5e66e0bc7 |
completed | May 2, 2026, 1:11 p.m. |
| PDg | Predicate description generation | batch_69f5ffc6268c8190b63f6360ebadab73 |
completed | May 2, 2026, 1:44 p.m. |
Created at: April 26, 2026, 9:08 p.m.