Added BNFC syntax