In sum, all these presuppositions must be assumed to be approximately satisfied in any situation of communication, despite their being necessarily counterfactual.
Some traditional topics of interest are: construction of meaning representations, semantic underspecification, anaphora resolution, presupposition projection, and quantifier scope resolution.
Thus, when during communication it is discovered that the belief that these presuppositions are satisfied is not justified it is always taken as problematic.