F. sketches a semantic theory with two components. One component would assign interpretations to the members of a certain subset of sentences of the language. The other one would provide 'entailment rules' for interpreting the remaining sentences in terms of the sentences interpreted by the first component. (The notion of entailment is closely related to the notion of presuppostion).