adjusted grammar for BDD.