Proofgold Term Root Disambiguation

wceq crrbar (cun cr (cpr cminfty cpinfty))

as obj
-

as prop
95a04..

theory
SetMM

stx
83470..

address
TMVgY..