Proofgold Term Root Disambiguation

wceq cmnf (cpw cpnf)

as obj
-

as prop
541ba..

theory
SetMM

stx
96135..

address
TMPao..