added grammar specifications