Proofgold Term Root Disambiguation

wceq czp (ccom czr cqp)

as obj
-

as prop
2f6b7..

theory
SetMM

stx
a24a7..

address
TMHmW..