Proofgold Term Root Disambiguation

prim1 0

as obj
2657e..

as prop
-

theory
HotG

stx
786b2..

address
TMTxD..