Changed required grammar format: first line denotes the start symbol