water filter subgroup of filter, 43 assertions