Proofgold Term Root Disambiguation

wceq c0v (cfv (cop (cop cva csm) cno) cn0v)

as obj
-

as prop
ba5e2..

theory
SetMM

stx
5b3a9..

address
TMTS9..