Triple
T21763231
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Max-SAT |
E537213
|
entity |
| Predicate | decisionVersion |
P145835
|
FINISHED |
| Object | asks if there exists an assignment satisfying at least K clauses |
—
|
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: asks if there exists an assignment satisfying at least K clauses | Statement: [Max-SAT, decisionVersion, asks if there exists an assignment satisfying at least K clauses]
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: decisionVersion Context triple: [Max-SAT, decisionVersion, asks if there exists an assignment satisfying at least K clauses]
-
A.
decisionImplementedBy
Indicates that a particular decision is carried out, executed, or put into effect by a specified agent or entity.
-
B.
decisionPublication
Indicates that a decision has been formally published or made publicly available.
-
C.
decisionBody
Indicates that one entity serves as the authoritative body or group responsible for making a particular decision regarding another entity or matter.
-
D.
decidedWith
Indicates that an entity made a decision jointly or in agreement with another entity.
-
E.
decisionDirection
Indicates the orientation or course (e.g., choice, stance, or path) that a decision takes relative to available options or influencing factors.
- 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_69e0c46f5d1c8190bf830409e98464e5 |
completed | April 16, 2026, 11:13 a.m. |
| NER | Named-entity recognition | batch_69f031a711dc8190a786c9849dc344e8 |
completed | April 28, 2026, 4:03 a.m. |
| PD | Predicate disambiguation | batch_69e6be6299988190a34c98fa76d94700 |
completed | April 21, 2026, 12:01 a.m. |
| PDg | Predicate description generation | batch_69e6d054737081908aa7112975b77475 |
completed | April 21, 2026, 1:18 a.m. |
Created at: April 16, 2026, 6:51 p.m.