UNFOLDING-BASED SIMPLIFICATION OF QUERY-ANSWERING PROBLEMS IN AN EXTENDED CLAUSE SPACE