Proofgold Term Root Disambiguation

wceq csingles (crn csingle)

as obj
-

as prop
88c24..

theory
SetMM

stx
e3215..

address
TMJq4..