Proofgold Term Root Disambiguation

2 = UPair 0 1

as obj
-

as prop
7ae5a..^eq_2_UPair01

theory
HotG

stx
114a5..

address
TMTAk..^eq_2_UPair01