{"entry_id":"en-math-logic-001","surface":"axiom","lemma":"axiom","language":"en","pos":"NOUN","semantic_domains":["mathematics.logic.foundation","proof.premise"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
{"entry_id":"en-math-logic-002","surface":"theorem","lemma":"theorem","language":"en","pos":"NOUN","semantic_domains":["mathematics.logic.result","proof.conclusion"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
{"entry_id":"en-math-logic-003","surface":"lemma","lemma":"lemma","language":"en","pos":"NOUN","semantic_domains":["mathematics.logic.step","proof.support"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
{"entry_id":"en-math-logic-004","surface":"proof","lemma":"proof","language":"en","pos":"NOUN","semantic_domains":["mathematics.logic.demonstration","proof.chain"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
{"entry_id":"en-math-logic-005","surface":"premise","lemma":"premise","language":"en","pos":"NOUN","semantic_domains":["mathematics.logic.assumption","proof.start"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
{"entry_id":"en-math-logic-006","surface":"conclusion","lemma":"conclusion","language":"en","pos":"NOUN","semantic_domains":["mathematics.logic.result","proof.end"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
{"entry_id":"en-math-logic-007","surface":"implication","lemma":"implication","language":"en","pos":"NOUN","semantic_domains":["mathematics.logic.entailment","proof.relation"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
{"entry_id":"en-math-logic-008","surface":"equivalence","lemma":"equivalence","language":"en","pos":"NOUN","semantic_domains":["mathematics.logic.symmetry","proof.relation"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
{"entry_id":"en-math-logic-009","surface":"contradiction","lemma":"contradiction","language":"en","pos":"NOUN","semantic_domains":["mathematics.logic.inconsistency","proof.refutation"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
{"entry_id":"en-math-logic-010","surface":"negation","lemma":"negation","language":"en","pos":"NOUN","semantic_domains":["mathematics.logic.denial","proof.operator"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
{"entry_id":"en-math-logic-011","surface":"set","lemma":"set","language":"en","pos":"NOUN","semantic_domains":["mathematics.structure.collection","logic.domain"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
{"entry_id":"en-math-logic-012","surface":"function","lemma":"function","language":"en","pos":"NOUN","semantic_domains":["mathematics.structure.mapping","logic.relation"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
{"entry_id":"en-math-logic-013","surface":"domain","lemma":"domain","language":"en","pos":"NOUN","semantic_domains":["mathematics.structure.input_space","logic.scope"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
{"entry_id":"en-math-logic-014","surface":"range","lemma":"range","language":"en","pos":"NOUN","semantic_domains":["mathematics.structure.output_space","logic.scope"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
{"entry_id":"en-math-logic-015","surface":"identity","lemma":"identity","language":"en","pos":"NOUN","semantic_domains":["mathematics.structure.invariance","logic.same"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
{"entry_id":"en-math-logic-016","surface":"composition","lemma":"composition","language":"en","pos":"NOUN","semantic_domains":["mathematics.structure.combination","logic.sequence"],"morphology_tags":["noun"],"provenance_ids":["adr-0090:domain_seed:2026-05-21"]}
