Proofgold Term Root Disambiguation

ordsucc u26

as obj
2bb12..

as prop
-

theory
HotG

stx
36e89..

address
TMH4r..