Proofgold Term Root Disambiguation

wceq cinfty (cpw (cuni cc))

as obj
-

as prop
acc05..

theory
SetMM

stx
83470..

address
TMTdd..