Proofgold Term Root Disambiguation

ordsucc u31

as obj
f6f6f..

as prop
-

theory
HotG

stx
36e89..

address
TMK7Z..