 Let the language \(\bL\) be defined as in  Section 2.  Then a negative inclusive model for \(\bL\) is a pair \(\langle \bD,\bI\rangle\), where \(\bD\) is a possibly empty set (the domain) and \(\bI\) is an interpretation function that assigns referents to individual constants and extensions to predicates such that: