Triple

T21061802
Position Surface form Disambiguated ID Type / Status
Subject Furst–Saxe–Sipser lower bounds E518865 entity
Predicate complexityClassContext P62369 FINISHED
Object P 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: P | Statement: [Furst–Saxe–Sipser lower bounds, complexityClassContext, P]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: P
Context triple: [Furst–Saxe–Sipser lower bounds, complexityClassContext, P]
  • A. P
    P is the vehicle registration code used on license plates for the Czech city of Plzeň.
  • B. P
    P is the vehicle registration code used on license plates for the Lithuanian city of Panevėžys.
  • C. P
    P is the currency symbol used to represent the Botswana pula, the official monetary unit of Botswana.
  • D. P
    P is the identifying letter of Transilien Line P, a suburban rail service operating from Paris to towns in the eastern Île-de-France region.
  • E. P
    P is the New York Stock Exchange ticker symbol for Phillips Petroleum Company, a major former American oil and gas company that later became part of ConocoPhillips.
  • 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: P
Target entity description: P is the fundamental complexity class consisting of all decision problems that can be solved by a deterministic Turing machine in polynomial time.
  • A. P
    P is the vehicle registration code used on license plates for the Czech city of Plzeň.
  • B. P
    P is the vehicle registration code used on license plates for the Lithuanian city of Panevėžys.
  • C. P
    P is the currency symbol used to represent the Botswana pula, the official monetary unit of Botswana.
  • D. P
    P is the New York Stock Exchange ticker symbol for Phillips Petroleum Company, a major former American oil and gas company that later became part of ConocoPhillips.
  • E. P
    P is the identifying letter of Transilien Line P, a suburban rail service operating from Paris to towns in the eastern Île-de-France region.
  • 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_69e0b505ef108190b25dd4033e2ff7eb completed April 16, 2026, 10:08 a.m.
NER Named-entity recognition batch_69e6feb064a48190b892b78e27e8d0fa completed April 21, 2026, 4:36 a.m.
Created at: April 16, 2026, 2:38 p.m.