Proofgold Term Root Disambiguation

∀ x0 x1 . Subq x0 x1 ⟶ ((∀ x2 . In x2 x0 ⟶ In x2 x1) ⟶ False) ⟶ False

as obj
-

as prop
e3c91..^tab_pos_Subq

theory
HF

stx
8a441..

address
TMdEq..^tab_pos_Subq