Improved implication pruning and candidate term generation.