Triple

T25063598
Position Surface form Disambiguated ID Type / Status
Subject Laurent series E627725 entity
Predicate criterionForPole P120597 FINISHED
Object finitely many negative-power coefficients are nonzero 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: finitely many negative-power coefficients are nonzero | Statement: [Laurent series, criterionForPole, finitely many negative-power coefficients are nonzero]
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: criterionForPole
Context triple: [Laurent series, criterionForPole, finitely many negative-power coefficients are nonzero]
  • A. hasPoleAt
    Indicates that one entity possesses, contains, or is associated with a pole located at a specific point or position.
  • B. proposesCriterion
    Indicates that one entity suggests or puts forward a specific criterion to be considered or used by another entity or within a given context.
  • C. establishesCriterion chosen
    Indicates that an entity defines or sets a standard, rule, or condition by which another entity is to be judged, selected, or evaluated.
  • D. hasEliminationCriterion
    Indicates that there exists a specific condition or rule under which an entity is removed, disqualified, or excluded from further consideration or participation.
  • E. compositionCriterion
    Indicates the rule or standard by which components are selected, combined, or arranged to form a whole.
  • F. None of above.

Provenance (3 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_69e2ff2d71dc8190b4758e57d643cbe4 completed April 18, 2026, 3:49 a.m.
NER Named-entity recognition batch_69f464b4c9b0819085daa00c7c3b8b76 completed May 1, 2026, 8:30 a.m.
PD Predicate disambiguation batch_69f45cfb53f4819099bba48c5057e787 completed May 1, 2026, 7:57 a.m.
Created at: April 18, 2026, 6:10 a.m.