Proofgold Term Root Disambiguation

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

as obj
-

as prop
b0dce..^SubqI

theory
HF

stx
2dedf..

address
TMQCa..^SubqI