He then defines slash-elimination rules (functional appliation rules): Polarity-preserving elimination Polarity-reversing elimination A-His account of AWN is then formulated by the following constraint: NPIs are enterned only in '-'-marked categories.
any is assigned to (S -/V P-)/CN-and ever is assigned to VP -/V P-.