Description: Alternate definition of the partition predicate. (Contributed by Peter Mazsa, 5-Sep-2021)