Syntax definition in Extended Augmented BNF.