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.