Triple

T11507833
Position Surface form Disambiguated ID Type / Status
Subject G. H. von Wright E272831 entity
Predicate notableWork P4 FINISHED
Object An Essay in Modal Logic
An Essay in Modal Logic is a foundational philosophical work by G. H. von Wright that systematically develops the principles and systems of modal logic.
 E930422 NE FINISHED

How this triple was built (4 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: An Essay in Modal Logic | Statement: [G. H. von Wright, notableWork, An Essay in Modal Logic]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: An Essay in Modal Logic
Context triple: [G. H. von Wright, notableWork, An Essay in Modal Logic]
  • A. Semantical Considerations on Modal Logic
    Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
  • B. Fitting semantics for modal logic
    Fitting semantics for modal logic is a framework in mathematical logic that extends Kripke-style semantics to provide a more general and often intuitionistic treatment of modal operators.
  • C. Proof Methods for Modal and Intuitionistic Logics
    "Proof Methods for Modal and Intuitionistic Logics" is a foundational textbook by logician Melvin Fitting that systematically develops semantic and proof-theoretic techniques for reasoning in modal and intuitionistic logic systems.
  • D. Leibniz's metaphysics of modality
    Leibniz's metaphysics of modality is his philosophical account of possibility, necessity, and contingency grounded in the notion of possible worlds and the principle that God actualizes the best of all compossible worlds.
  • E. The Logical Structure of the World
    The Logical Structure of the World is Rudolf Carnap’s seminal 1928 work in which he develops a rigorous, formal reconstruction of all scientific concepts from a phenomenalist basis, serving as a foundational text of logical positivism.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
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: An Essay in Modal Logic
Triple: [G. H. von Wright, notableWork, An Essay in Modal Logic]
Generated description
An Essay in Modal Logic is a foundational philosophical work by G. H. von Wright that systematically develops the principles and systems of modal logic.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07 
Target entity: An Essay in Modal Logic
Target entity description: An Essay in Modal Logic is a foundational philosophical work by G. H. von Wright that systematically develops the principles and systems of modal logic.
  • A. Semantical Considerations on Modal Logic
    Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
  • B. Fitting semantics for modal logic
    Fitting semantics for modal logic is a framework in mathematical logic that extends Kripke-style semantics to provide a more general and often intuitionistic treatment of modal operators.
  • C. Proof Methods for Modal and Intuitionistic Logics
    "Proof Methods for Modal and Intuitionistic Logics" is a foundational textbook by logician Melvin Fitting that systematically develops semantic and proof-theoretic techniques for reasoning in modal and intuitionistic logic systems.
  • D. Leibniz's metaphysics of modality
    Leibniz's metaphysics of modality is his philosophical account of possibility, necessity, and contingency grounded in the notion of possible worlds and the principle that God actualizes the best of all compossible worlds.
  • E. The Logical Structure of the World
    The Logical Structure of the World is Rudolf Carnap’s seminal 1928 work in which he develops a rigorous, formal reconstruction of all scientific concepts from a phenomenalist basis, serving as a foundational text of logical positivism.
  • F. None of above. chosen

Provenance (5 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_69d6aae2c3748190bed2ea50dfb160dc completed April 8, 2026, 7:22 p.m.
NER Named-entity recognition batch_69d86db43a648190be859bec2fe9f43b completed April 10, 2026, 3:25 a.m.
NED1 Entity disambiguation (via context triple) batch_69e624f5c9608190bde28a59860b3c93 completed April 20, 2026, 1:07 p.m.
NEDg Description generation batch_69e62cf44018819094818f11ac653763 completed April 20, 2026, 1:41 p.m.
NED2 Entity disambiguation (via description) batch_69e674c3a98c8190b32dc6879cb3a5f9 completed April 20, 2026, 6:47 p.m.
Created at: April 8, 2026, 9:36 p.m.