Text this: Logic and logic grammars for language processing /