|| package:refined

The disjunction of two predicates.