Proofgold Term Root Disambiguation

2 ⊆ UPair 0 1

as obj
-

as prop
94203..^{Subq_2_UPair01}

theory
HotG

stx
114a5..

address
TMHVo..^{Subq_2_UPair01}