This definition, while terse and commonly used, is suboptimal for certain purposes because it contains an existential quantifier which is not really necessary.
Some traditional topics of interest are: construction of meaning representations, semantic underspecification, anaphora resolution, presupposition projection, and quantifier scope resolution.
