Proofgold Term Root Disambiguation

as obj
-

as prop
474a0..^{combinator_equiv_ref}

theory
HF

stx
2b38c..

address
TMXdy..^{combinator_equiv_ref}