a more sophisticated grammar