Proofgold Term Root Disambiguation

wceq crq (cima (ccnv cmq) (csn c1q))

as obj
-

as prop
4e5bf..

theory
SetMM

stx
338b7..

address
TMN6r..