Proofgold Term Root Disambiguation

wceq cpnf (cpw (cuni cc))

as obj
-

as prop
1e860..

theory
SetMM

stx
96135..

address
TMW5n..