Proofgold Term Root Disambiguation

cops

as obj
04600..

as prop
-

theory
SetMM

stx
ebbdd..