Proofgold Term Root Disambiguation

ccchat

as obj
41ddf..

as prop
-

theory
SetMM

stx
ebbdd..