Proofgold Term Root Disambiguation

ordsucc u19

as obj
dcd4d..

as prop
-

theory
HotG

stx
b1dc8..

address
TMc6h..