This formulation is desirable because it exposes a relationship between the surface form and the semantics of natural language while remaining agnostic about the underlying semantic representation.
the difference in "meaning" between s and e(s) is exactly the "meaning" of p (in context), regardless of how that meaning is represented.