Added initial BNF definition