Proofgold Term Root Disambiguation

2 = UPair 0 1

as obj
-

as prop
fd6b1..^eq_2_UPair01

theory
HF

stx
0d78c..

address
TMT5a..^eq_2_UPair01