Added grammars for Logical Statements