XML_reasoning_parsing