ABSTRACT

Suppose that Peter is aware of (33). Then from the assumption explicitly expressed by Mary’s answer, together with assumption (33), he could infer conclusion (34):

(33) Mary does not want to stay awake. (34) Mary does not want any coffee.