UR::BoolExpr::And(3) a rule which is true if ALL the underlying conditions are true