Proofgold Term Root Disambiguation

∀ x0 x1 . In x1 (UPair x0 x1)

as obj
-

as prop
7477d..^UPairI2

theory
HF

stx
dda19..

address
TMR4v..^UPairI2