Proofgold Term Root Disambiguation

claut

as obj
9d3d8..

as prop
-

theory
SetMM

stx
ebbdd..