Proofgold Term Root Disambiguation

∀ x0 x1 . not (nSubq x0 x1) ⟶ Subq x0 x1

as obj
-

as prop
80eaf..^neg_nSubq

theory
HF

stx
8a441..

address
TMUzm..^neg_nSubq