Zql grammer formally define