partial eclipse subgroup of eclipse, 8 assertions