  A particularly notable feature of presuppositions is that they project into embedded contexts in predictable patterns. For example, it is standardly accepted that if \(s\) presupposes \(p\) then not-\(s\) also presupposes \(p\). Thus (29) also generates the presupposition that France has a king, and is therefore equally infelicitous in current context: