Proofgold Term Root Disambiguation

wceq cmq (cres (ccom cerq cmpq) (cxp cnq cnq))

as obj
-

as prop
08827..

theory
SetMM

stx
338b7..

address
TMb4w..