low level subgroup of level, 9 assertions