In [*John may go to NY*]{}, the basic proposition is [*John go to NY*]{} and the word [*may*]{} indicates modality and is called the [ *trigger*]{} in our work. Van der Auwera and Amman  define core cases of modality: [*John must go to NY*]{} (epistemic necessity), [*John might go to NY*]{} (epistemic possibility), [*John has to leave NY now*]{} (deontic necessity) and [*John may leave NY now*]{} (deontic possibility). Larreya  defines the core cases slightly differently as [*root*]{} and [*epistemic*]{}. Root modality in Larreya’s taxonomy includes physical modality ([*He had to stop. The road was blocked*]{}) and deontic modality ([*You have to stop*]{}). Epistemic modality includes problematic modality ([*You must be tired*]{}) and implicative modality ([*You have to be mad to do that*]{}). Many semanticists [@Kratzer; @VonFintelIatridou] define modality as quantification over possible worlds. [*John might leave NY*]{} means that there exist some possible worlds in which John leaves NY. Another view of modality relates more to a speaker’s attitude toward a proposition [@NirenburgMcShane; @McShaneEtAl:2004].

We incorporate negation as an inextricably intertwined component of modality, using the term “modality/negation (MN)” to refer to our resources (lexicons) and processes (taggers). We adopt the view that modality includes several types of attitudes 