Proofgold Term Root Disambiguation

ordsucc u30

as obj
3f0d3..

as prop
-

theory
HotG

stx
36e89..

address
TMWFz..