Proofgold Term Root Disambiguation

wceq ccp (ccom ccpms cqpa)

as obj
-

as prop
78953..

theory
SetMM

stx
a24a7..

address
TMGTa..