Proofgold Term Root Disambiguation

wceq cxr (cun cr (cpr cpnf cmnf))

as obj
-

as prop
a08e0..

theory
SetMM

stx
96135..

address
TMcU9..