Proofgold Term Root Disambiguation

cfn

as obj
a931e..

as prop
-

theory
SetMM

stx
ebbdd..

address
TMa76..