Triple

T9566854
Position Surface form Disambiguated ID Type / Status
Subject CCS E230808 entity
Predicate creator P184 FINISHED
Object Robin Milner E32698 NE FINISHED

Named-entity recognition

Before disambiguation, gpt-5-mini classified whether the object phrase is a named entity — the step behind the object's NE type shown above.

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: Robin Milner | Statement: [CCS, creator, Robin Milner]

Disambiguation candidates (1 decision)

The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Robin Milner
Context triple: [CCS, creator, Robin Milner]
  • A. Robin Milner chosen
    Robin Milner was a pioneering British computer scientist known for his foundational work in programming language theory, type systems, and process calculi, including the development of ML and the π-calculus.
  • B. Simon Peyton Jones
    Simon Peyton Jones is a prominent British computer scientist best known for his foundational work on the design and implementation of the Haskell programming language and contributions to functional programming and compiler technology.
  • C. Peter Landin
    Peter Landin was a pioneering British computer scientist whose work on programming language theory and functional programming profoundly influenced the design of modern languages.
  • D. Gordon Plotkin
    Gordon Plotkin is a British computer scientist renowned for his foundational contributions to programming language semantics and domain theory.
  • E. Tony Hoare
    Tony Hoare is a British computer scientist best known for developing the Quicksort algorithm and making foundational contributions to programming languages and formal methods.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (3 batches)

Stage Batch ID Job type Status
creating batch_69ca847f22188190a56e4a97625bef22 elicitation completed
NER batch_69cd996df4f08190b19bbaefb10a9789 ner completed
NED1 batch_69d190d741588190a2cced8da13036bb ned_source_triple completed
Created at: March 30, 2026, 8:04 p.m.