This means that one can test whether a modifier is intersective by seeing whether it gives rise to valid reasoning patterns such as the following.
[3] With a non-intersective modifiers such as "skillful", the equivalent deduction would not be valid.
[5] On a textbook semantics for modification, an intersective modifier denotes the set of individuals which have the property in question.
[6] Such meanings can be composed either by introducing an interpretation rule Predicate Modification which hard-codes intersectivity.
However, this mode of composition can also be delivered by standard Function Application if the modifier is given a higher semantic type, either lexically or by applying a type shifter.