Proofgold Term Root Disambiguation

UPair 0 1 ⊆ 2

as obj
-

as prop
00956..^{Subq_UPair01_2}

theory
HotG

stx
114a5..

address
TMGfN..^{Subq_UPair01_2}