Proofgold Term Root Disambiguation

wer

as obj
da4af..

as prop
-

theory
SetMM

stx
ebbdd..