A sentence containing disjunction in the scope of a possibility modal, such as Angie is allowed to buy the boat or the car, gives rise to the FREE CHOICE inference that Angie can freely choose between the two. This inference poses a well-known puzzle, in that it is not predicted by a standard treatment of modals and disjunction (e.g., Kamp 1974). To complicate things further, FREE CHOICE tends to disappear under negation: Angie is not allowed to buy the boat or the car doesn’t merely convey the negation of free choice, but rather the stronger DUAL PROHIBITION reading that Angie cannot buy either one. There are two main approaches to the FREE CHOICE-DUAL PROHIBITION pattern in the literature. While they both capture the relevant data points,...