logic in grammar