Proofgold Term Root Disambiguation

as obj
-

as prop
8b007..^{combinator_Ap}

theory
HF

stx
2b38c..

address
TMQn4..^{combinator_Ap}