Proofgold Term Root Disambiguation

ordsucc u12

as obj
f2c73..

as prop
-

theory
HotG

stx
603d5..

address
TMXfd..