Is there a formal grammar description for the schema language?