Proofgold Term Root Disambiguation

ordsucc u33

as obj
d86e6..

as prop
-

theory
HotG

stx
36e89..

address
TMSf8..