Combining predicates in a functional way and allowing short-circuiting to work

Question

Foreword

I asked a similar question: say I have a predicate auto p1 = [](int x){ return x > 2; } and a predicate auto p2 = [](int x){ return x <