partial exemption subgroup of exemption, 1 assertions