Proofgold Term Root Disambiguation

c3o

as obj
bce81..

as prop
-

theory
SetMM

stx
ebbdd..