Proofgold Term Root Disambiguation

wceq cxnn0 (cun cn0 (csn cpnf))

as obj
-

as prop
d2c15..

theory
SetMM

stx
a0443..

address
TMHvo..