Triple

T15741715
Position Surface form Disambiguated ID Type / Status
Subject Frank P. Ramsey E381616 entity
Predicate notableWork P4 FINISHED
Object Ramsey test
The Ramsey test is a principle in the philosophy of conditionals and belief revision that links accepting a conditional statement to hypothetically adding its antecedent to one’s beliefs and checking whether the consequent would then be accepted.
E1173841 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: Ramsey test | Statement: [Frank P. Ramsey, notableWork, Ramsey test]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Ramsey test
Context triple: [Frank P. Ramsey, notableWork, Ramsey test]
  • A. Sherbert test
    The Sherbert test is a U.S. constitutional law standard that evaluates whether government actions improperly burden an individual's free exercise of religion by requiring a compelling interest pursued through the least restrictive means.
  • B. Aguilar–Spinelli test
    The Aguilar–Spinelli test is a former U.S. legal standard that strictly governed when hearsay information from informants could establish probable cause for search warrants, requiring proof of both the informant’s basis of knowledge and veracity.
  • C. Oakes test
    The Oakes test is a legal framework used by Canadian courts to determine whether a law that limits Charter rights can be justified as a reasonable and demonstrably justified restriction in a free and democratic society.
  • D. Jury test
    The Jury test is a stability criterion in control theory used to determine whether all roots of a discrete-time system’s characteristic polynomial lie inside the unit circle.
  • E. Brisker method
    The Brisker method is an analytical approach to Talmud study, developed in the Brisk rabbinic tradition, that emphasizes sharp conceptual distinctions and rigorous logical categorization of halakhic concepts.
  • 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: Ramsey test
Triple: [Frank P. Ramsey, notableWork, Ramsey test]
Generated description
The Ramsey test is a principle in the philosophy of conditionals and belief revision that links accepting a conditional statement to hypothetically adding its antecedent to one’s beliefs and checking whether the consequent would then be accepted.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Ramsey test
Target entity description: The Ramsey test is a principle in the philosophy of conditionals and belief revision that links accepting a conditional statement to hypothetically adding its antecedent to one’s beliefs and checking whether the consequent would then be accepted.
  • A. Sherbert test
    The Sherbert test is a U.S. constitutional law standard that evaluates whether government actions improperly burden an individual's free exercise of religion by requiring a compelling interest pursued through the least restrictive means.
  • B. Aguilar–Spinelli test
    The Aguilar–Spinelli test is a former U.S. legal standard that strictly governed when hearsay information from informants could establish probable cause for search warrants, requiring proof of both the informant’s basis of knowledge and veracity.
  • C. Oakes test
    The Oakes test is a legal framework used by Canadian courts to determine whether a law that limits Charter rights can be justified as a reasonable and demonstrably justified restriction in a free and democratic society.
  • D. Jury test
    The Jury test is a stability criterion in control theory used to determine whether all roots of a discrete-time system’s characteristic polynomial lie inside the unit circle.
  • E. Brisker method
    The Brisker method is an analytical approach to Talmud study, developed in the Brisk rabbinic tradition, that emphasizes sharp conceptual distinctions and rigorous logical categorization of halakhic concepts.
  • 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_69d86d9cdb648190bf3171be0bd7d872 completed April 10, 2026, 3:25 a.m.
NER Named-entity recognition batch_69e04fd97d6c8190b2fa6ca422bfe512 completed April 16, 2026, 2:56 a.m.
NED1 Entity disambiguation (via context triple) batch_69ff83056aa0819098b757ed125e61fe completed May 9, 2026, 6:55 p.m.
NEDg Description generation batch_69ff83ca33d08190816130bf2ea735df completed May 9, 2026, 6:58 p.m.
NED2 Entity disambiguation (via description) batch_69ff8469354c819080b8cfddb7c66be5 completed May 9, 2026, 7 p.m.
Created at: April 10, 2026, 4:46 a.m.