Proofgold Term Root Disambiguation

as obj
-

as prop
d25f0..^{combinator_equiv_tra}

theory
HF

stx
2b38c..

address
TMKAz..^{combinator_equiv_tra}