Proofgold Term Root Disambiguation

ordsucc u44

as obj
92730..

as prop
-

theory
HotG

stx
d4ed8..

address
TMTSC..