Checked grammar for views