Triple

T10389158
Position Surface form Disambiguated ID Type / Status
Subject Weil divisor E244844 entity
Predicate hasOperation P1137 FINISHED
Object subtraction LITERAL FINISHED

Named-entity recognition

Before disambiguation, gpt-5-mini classified whether the object phrase is a named entity — the step behind the object's LITERAL 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: subtraction | Statement: [Weil divisor, hasOperation, subtraction]

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69d381b5116081908d85227bab6d3c0c elicitation completed
NER batch_69d4e9b40dd8819080ac839487020a44 ner completed
Created at: April 6, 2026, 12:05 p.m.