Grammar autmented with semantic rules.