Triple

T21047148

Position	Surface form	Disambiguated ID	Type / Status
Subject	Baire category theorem	`E518477`	entity
Predicate	states	`P34`	FINISHED
Object	A nonempty locally compact Hausdorff space cannot be expressed as a countable union of nowhere dense subsets	`—`	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: A nonempty locally compact Hausdorff space cannot be expressed as a countable union of nowhere dense subsets | Statement: [Baire category theorem, states, A nonempty locally compact Hausdorff space cannot be expressed as a countable union of nowhere dense subsets]

Provenance (2 batches)

Stage	Batch ID	Job type	Status
creating	`batch_69e0b50438e08190917e2538bb8bc034`	elicitation	completed
NER	`batch_69e6fcf4d26481908b639996500a8319`	ner	completed

Created at: April 16, 2026, 2:34 p.m.