Proofgold Term Root Disambiguation

ordsucc u54

as obj
8d5a3..

as prop
-

theory
HotG

stx
d4ed8..

address
TMHp6..