Triple

T6370862
Position Surface form Disambiguated ID Type / Status
Subject LambdaProlog E143339 entity
Predicate hasImplementation P3697 FINISHED
Object ELPI
ELPI is an implementation of the λProlog logic programming language, designed for higher-order abstract syntax and interactive theorem proving applications.
E588092 NE FINISHED

Disambiguation candidates (2 decisions)

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: ELPI
Context triple: [LambdaProlog, hasImplementation, ELPI]
  • A. ELPA
    ELPA (Emacs Lisp Package Archive) is a primary repository and distribution system for Emacs Lisp packages used to extend and customize the Emacs editor.
  • B. ELP
    ELP is the three-letter IATA airport code for El Paso International Airport, a commercial airport serving El Paso, Texas.
  • C. Elphi
    Elphi is the popular nickname for Hamburg’s Elbphilharmonie, a striking modern concert hall and architectural landmark on the Elbe River.
  • D. ELC
    ELC is the regional vehicle registration code assigned to the area that includes the village of Walewice in Poland.
  • E. LAMDA
    LAMDA is a prestigious London-based drama school renowned for training actors, directors, and other performing arts professionals.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: ELPI
Target entity description: ELPI is an implementation of the λProlog logic programming language, designed for higher-order abstract syntax and interactive theorem proving applications.
  • A. ELPA
    ELPA (Emacs Lisp Package Archive) is a primary repository and distribution system for Emacs Lisp packages used to extend and customize the Emacs editor.
  • B. ELP
    ELP is the three-letter IATA airport code for El Paso International Airport, a commercial airport serving El Paso, Texas.
  • C. Elphi
    Elphi is the popular nickname for Hamburg’s Elbphilharmonie, a striking modern concert hall and architectural landmark on the Elbe River.
  • D. ELC
    ELC is the regional vehicle registration code assigned to the area that includes the village of Walewice in Poland.
  • E. LAMDA
    LAMDA is a prestigious London-based drama school renowned for training actors, directors, and other performing arts professionals.
  • F. None of above. chosen

Provenance (5 batches)

Stage Batch ID Job type Status
creating batch_69c008d8c61081908bcaf61510d881ed elicitation completed
NER batch_69c068277f6c81908e6a55e006f0c229 ner completed
NED1 batch_69c62d8bce3481909b0bf7533b330d1f ned_source_triple completed
NED2 batch_69c62f1bbdac8190b0cff9fbcddd68a7 ned_description completed
NEDg batch_69c62e2072808190a4f2dd262b631c88 nedg completed
Created at: March 22, 2026, 4:33 p.m.