This paper contains a description of our method of semantic meta parsing, and the method is implemented as a Prolog program. For comparison, we present briefly Johnson and Kay's method of semantic abstraction [9]. The two methods are compared by application on a sample problem from Hans Kamp's Discourse Representation Theory (DRT) [10].