Conjunctive queries for logic-based information extraction