Triple

T32258433
Position Surface form Disambiguated ID Type / Status
Subject PRISM probabilistic model checker E824082 entity
Predicate supportsPropertyLogic P206237 FINISHED
Object PCTL
PCTL (Probabilistic Computation Tree Logic) is a temporal logic used to specify and reason about quantitative properties of probabilistic systems, such as those analyzed by probabilistic model checkers.
 E2000681 NE FINISHED

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: PCTL | Statement: [PRISM probabilistic model checker, supportsPropertyLogic, PCTL]
NEDg Description generation gpt-5.1
Instruction
Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: PCTL
Triple: [PRISM probabilistic model checker, supportsPropertyLogic, PCTL]
Generated description
PCTL (Probabilistic Computation Tree Logic) is a temporal logic used to specify and reason about quantitative properties of probabilistic systems, such as those analyzed by probabilistic model checkers.
PD Predicate disambiguation gpt-5-mini-2025-08-07 
Target predicate: supportsPropertyLogic
Context triple: [PRISM probabilistic model checker, supportsPropertyLogic, PCTL]
  • A. supportsProp
    Indicates that one entity provides assistance, endorsement, or backing for a particular property, attribute, or characteristic of another entity.
  • B. usesProp
    Indicates that one entity employs, utilizes, or makes use of a particular property, resource, or object in performing an action or fulfilling a function.
  • C. requiresProperty
    Indicates that one entity depends on another entity possessing a specific property or attribute in order for a condition, action, or relationship to hold.
  • D. claimsAboutLogic
    Indicates that one entity makes statements or assertions concerning the principles, rules, or properties of logic in relation to another entity or topic.
  • E. theorySupports
    Indicates that one theory provides justification, evidence, or logical backing for another claim, theory, or proposition.
  • F. None of above. chosen

Provenance (7 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_69f3490db0748190bfef6e50c95d39d3 completed April 30, 2026, 12:20 p.m.
NER Named-entity recognition batch_6a037c9141dc819098d7fcc36e69882c completed May 12, 2026, 7:16 p.m.
NED1 Entity disambiguation (via context triple) batch_6a2f46d7d4388190bb7fed8881336a35 completed June 15, 2026, 12:27 a.m.
NEDg Description generation batch_6a2f47d66a34819082bc75aaf3f2b197 completed June 15, 2026, 12:31 a.m.
NED2 Entity disambiguation (via description) batch_6a301ae519348190a8563be3d2c124d0 completed June 15, 2026, 3:31 p.m.
PD Predicate disambiguation batch_6a0379edf2d88190b492fca86ed23cac completed May 12, 2026, 7:05 p.m.
PDg Predicate description generation batch_6a037c7fb9f88190b384b1b68200aef0 completed May 12, 2026, 7:16 p.m.
Created at: May 1, 2026, 12:41 a.m.