это цитата из Norbert Hornstein, LOGIC AS GRAMMAR (1986), p. 119.
он совсем без модальных логик, с очень приблизительным представлением о квантификации (и, понятно, без Чинкве). но он прав!
а вот подход Kratzer-->Portner целиком семантический. это интересно само по себе, но это как изучение лексических значений слов, а не грамматики...
