specified grammar for our DSL