Title: Logic and logic grammars for language processing