Proofgold Term Root Disambiguation

Subq (UPair 0 1) 2

as obj
-

as prop
bdcc4..^{Subq_UPair01_2}

theory
HF

stx
0d78c..

address
TMMy6..^{Subq_UPair01_2}