The theory of grammar adopted here is that grammar is based on a logical form based on proposition structure. A proposition is that part of a sentence less its modal modifiers--roughly, the node S. A ...