Triple

T34472092
Position Surface form Disambiguated ID Type / Status
Subject Gabriel–Popescu theorem E884933 entity
Predicate assumes P1458 FINISHED
Object Grothendieck category satisfies AB5 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: Grothendieck category satisfies AB5 | Statement: [Gabriel–Popescu theorem, assumes, Grothendieck category satisfies AB5]

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69f349c880408190ade571c471ab154a elicitation completed
NER batch_69f7199e9d3881908e9427bfd02d31be ner completed
Created at: May 1, 2026, 2:01 a.m.