Proofgold Term Root Disambiguation

ctng

as obj
ae093..

as prop
-

theory
SetMM

stx
ebbdd..