Free Choice (FC) is an inference arising from the interaction between existential modals and disjunction. Schematically, a sentence of form permitted(A or B) gives rise to ◊A∧◊B. Many competing theories FC have been proposed but they can be classified into two main groups: one group derives as entailment, while other it implicature. By contrast, Negative (NFC), corresponding negated universal e...