tax exemption subgroup of exemption, 4 assertions