Grammar and logic