Proofgold Term Root Disambiguation

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

as obj
-

as prop
bbed8..^nSubq_I

theory
HF

stx
8a441..

address
TMKLY..^nSubq_I