Proofgold Term Root Disambiguation

as obj
-

as prop
be428..^{combinator_equiv_sym}

theory
HF

stx
2b38c..

address
TMNWB..^{combinator_equiv_sym}