[logic-ml] pregroup grammars