Proofgold Term Root Disambiguation

ccurf

as obj
1d14a..

as prop
-

theory
SetMM

stx
ebbdd..