Triple
T21049196
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Gravitation |
E518529
|
entity |
| Predicate | subject |
P450
|
FINISHED |
| Object | ADM formalism |
—
|
NE NERFINISHED |
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: ADM formalism | Statement: [Gravitation, subject, ADM formalism]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: ADM formalism Context triple: [Gravitation, subject, ADM formalism]
-
A.
ADM formalism
chosen
The ADM formalism is a Hamiltonian formulation of general relativity that splits spacetime into space and time, providing a canonical framework widely used in quantum gravity and numerical relativity.
-
B.
Infeld–van der Waerden formalism
The Infeld–van der Waerden formalism is a mathematical framework in general relativity that reformulates the theory using spinor calculus to describe gravitational and electromagnetic fields.
-
C.
Mayer f-function formalism
The Mayer f-function formalism is a mathematical framework in statistical mechanics that expresses intermolecular interactions via cluster expansions to analyze the thermodynamic properties of fluids and gases.
-
D.
Palatini formalism
Palatini formalism is a formulation of general relativity and modified gravity theories in which the metric and connection are treated as independent variables in the action principle.
-
E.
ARAM
ARAM is a fast-paced League of Legends game mode where teams fight continuously on a single narrow bridge-like map with randomly assigned champions.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
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_69e0b5053ac48190921529544959e906 |
completed | April 16, 2026, 10:08 a.m. |
| NER | Named-entity recognition | batch_69e6fd79830881909fdac2f0ea48d28c |
completed | April 21, 2026, 4:30 a.m. |
Created at: April 16, 2026, 2:34 p.m.