BNF for phrase 0