Proofgold Term Root Disambiguation

cpnrm

as obj
dcd85..

as prop
-

theory
SetMM

stx
ebbdd..

address
TMGyY..