Partially satisfying implementation of horizontal or.