Proofgold Term Root Disambiguation

ordsucc u32

as obj
c9fe8..

as prop
-

theory
HotG

stx
36e89..

address
TMSz3..