Logical-model equivalence
Paste a simplified SCG drug definition and the target semantic tag. Snowy tests closed-world set equality against published OWL axioms. A non-null exact match means the concept already exists — do not mint a duplicate.
No nested expressions / cardinality. #n = concrete, bare SCTID = concept, |term| annotations ignored.