Triple
T857944
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Frege’s system in "Grundgesetze der Arithmetik" |
E18534
|
entity |
| Predicate | centralAxiom |
P16614
|
FINISHED |
| Object | Basic Law V |
E101761
|
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: Basic Law V | Statement: [Frege’s system in "Grundgesetze der Arithmetik", centralAxiom, Basic Law V]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Basic Law V Context triple: [Frege’s system in "Grundgesetze der Arithmetik", centralAxiom, Basic Law V]
-
A.
Basic Law V
chosen
Basic Law V is a central axiom in Frege’s logical system that equates the extensions of concepts with identical truth conditions, and whose inconsistency famously undermined his logicist foundation for arithmetic.
-
B.
Basic Law of the Hong Kong Special Administrative Region
The Basic Law of the Hong Kong Special Administrative Region is Hong Kong's mini-constitution, outlining its system of governance, rights, and autonomy under the "one country, two systems" framework within the People's Republic of China.
-
C.
Article 62 of the Basic Law
Article 62 of the Basic Law is the provision in Germany’s constitution that establishes the Federal Government as consisting of the Federal Chancellor and the Federal Ministers.
-
D.
Basic Law for the Federal Republic of Germany
The Basic Law for the Federal Republic of Germany is the country’s foundational legal charter, establishing its democratic, federal, and constitutional order after World War II.
-
E.
Constitution of the People's Republic of China
The Constitution of the People's Republic of China is the country's fundamental law that defines the structure of the state, the leadership role of the Communist Party, and the rights and duties of citizens.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: centralAxiom Context triple: [Frege’s system in "Grundgesetze der Arithmetik", centralAxiom, Basic Law V]
-
A.
foundationAxiomHoldsIn
Indicates that the foundation (or regularity) axiom is satisfied within a given model, structure, or context.
-
B.
centralIn
Indicates that one entity occupies a central or most important position within another entity, context, or structure.
-
C.
centralWork
chosen
Indicates that a particular work is the primary, most important, or focal work associated with an entity or context.
-
D.
centralQuestion
Indicates that something is the main issue, problem, or inquiry around which a discussion, work, or investigation is focused.
-
E.
hasAxiom
Indicates that an entity is associated with, defined by, or governed through a specific axiom or set of axioms.
- F. None of above.
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_69a4938bdd3c8190a954a3c11844d9cf |
completed | March 1, 2026, 7:29 p.m. |
| NER | Named-entity recognition | batch_69a4ac4f740881909cb59a6c18a77af3 |
completed | March 1, 2026, 9:14 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69a7b8494840819091324bf603ff8d7c |
completed | March 4, 2026, 4:42 a.m. |
| PD | Predicate disambiguation | batch_69a4aa834a588190bca4a0eb83fb3eb6 |
completed | March 1, 2026, 9:07 p.m. |
Created at: March 1, 2026, 7:39 p.m.