Triple
T7420301
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Swan constructed counterexamples over the rational numbers |
E171228
|
entity |
| Predicate | disproves |
P26929
|
FINISHED |
| Object | general affirmative answer to Noether's problem over Q |
—
|
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: general affirmative answer to Noether's problem over Q | Statement: [Swan constructed counterexamples over the rational numbers, disproves, general affirmative answer to Noether's problem over Q]
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: disproves Context triple: [Swan constructed counterexamples over the rational numbers, disproves, general affirmative answer to Noether's problem over Q]
-
A.
negates
chosen
Indicates that one entity denies, contradicts, or renders false the assertion, state, or effect expressed by another.
-
B.
dislikes
Indicates that one entity has a negative feeling or aversion toward another entity.
-
C.
prohibits
Indicates that one entity forbids or disallows another entity from performing a specific action or being in a certain state.
-
D.
disputed
Indicates that there is active disagreement or contestation over the validity, ownership, interpretation, or status of the relationship or claim between the entities.
-
E.
discourages
Indicates an action or influence that deters, dissuades, or reduces the likelihood of someone performing a particular behavior or pursuing a certain outcome.
- 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_69c68a625d048190af70eb8b63bec5a0 |
completed | March 27, 2026, 1:47 p.m. |
| NER | Named-entity recognition | batch_69c6f2ea61248190886e8e55b42ba5f1 |
completed | March 27, 2026, 9:13 p.m. |
| PD | Predicate disambiguation | batch_69c6f0345040819094c5756dfa487faf |
completed | March 27, 2026, 9:01 p.m. |
Created at: March 27, 2026, 3:11 p.m.