fractional share subgroup of share, 17 assertions