G. posits the abstract categories im-plicature and pre-supposition which are assigned to structures in a straightforward way, and a system for cancelling im-plicatures and pre-suppositions according to a fixed hierarchy. Presuppositions are those pre-suppositions left after cancelling has taken place.