Proofgold Term Root Disambiguation

∀ x0 x1 . In x0 (UPair x0 x1)

as obj
-

as prop
69fe1..^UPairI1

theory
HF

stx
dda19..

address
TMYRA..^UPairI1