Text this: Logic grammars :