Proofgold Term Root Disambiguation

ordsucc u25

as obj
0ccc7..

as prop
-

theory
HotG

stx
36e89..

address
TMG5d..