Proofgold Term Root Disambiguation

∀ x0 x1 . nSubq x0 x1 ⟶ Subq x0 x1 ⟶ False

as obj
-

as prop
b2a04..^nSubq_E2

theory
HF

stx
8a441..

address
TMdv7..^nSubq_E2