add LessConclusionPredicate