Proofgold Term Root Disambiguation

∀ x0 x1 x2 . nIn x1 (Union x0) ⟶ (nIn x1 x2 ⟶ False) ⟶ (nIn x2 x0 ⟶ False) ⟶ False

as obj
-

as prop
f20e6..^{tab_neg_Union}

theory
HF

stx
8a441..

address
TMaH7..^{tab_neg_Union}