add MoreConclusionPredicate