Proofgold Term Root Disambiguation

wceq cric (cima (ccnv crs) (cdif cvv c1o))

as obj
-

as prop
59e4b..

theory
SetMM

stx
257fe..

address
TMVtF..