core interpretations and (discourse) presuppositions may lead to empty set of core interpretations #53
Description
Example: corpus {(P a)} wrt. discourse presupposition with a being out of discourse.
- the empty set of core interpretations are with respect to the discourse presupposition
- this means we will need to define entailment (with respect to disc. pre) with that in mind
The whole notion of discourse presupposition can be generalized to more general presuppostions (e.g., FOL has presuppostions that constrain the interpretations based on the syntactic categories in the lexicon). Failure to meet these syntactic constraints of the dialects lead to empty set of core interpretations.