Partial Parsing, Deduction and Tabling