Proofgold Term Root Disambiguation

cza

as obj
72412..

as prop
-

theory
SetMM

stx
ebbdd..