Proofgold Term Root Disambiguation

e581a.. 48ef8..

as obj
-

as prop
0345c..

theory
HoTg

stx
aca54..

address
TMWv8..