semantic grammar