different level subgroup of level, 3 assertions