Proofgold Term Root Disambiguation

cword

as obj
a0301..

as prop
-

theory
SetMM

stx
ebbdd..