Proofgold Term Root Disambiguation

as obj
-

as prop
97a90..^{TransSet_ordsucc}

theory
HF

stx
82de5..

address
TMWZE..^{TransSet_ordsucc}