Class AbstractPredicateLogInclusionRule<X extends AbstractPredicateLogInclusionRule<X>>