defined syntax for covered variables