Proofgold Term Root Disambiguation

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

as obj
-

as prop
a4d26..^UnionI

theory
HF

stx
8a441..

address
TMQoW..^UnionI