Generating Candidate Specializations

• 1) - where Q is any predicate occuring in and the are either new variables or variables already present in the rule. At least one in the created literal must already exist in the rule
• 2) - where and are variables already present in the rule
• 3) the negation of either of the above