Proofgold Term Root Disambiguation

∀ x0 x1 . Subq x0 x1 ⟶ ∀ x2 . In x2 x0 ⟶ In x2 x1

as obj
-

as prop
367e6..^SubqE

theory
HF

stx
2dedf..

address
TMHAW..^SubqE