completing parser + explanation about semantic in report