Proofgold Term Root Disambiguation

ordsucc u28

as obj
6c489..

as prop
-

theory
HotG

stx
36e89..

address
TMNZD..