high level subgroup of level, 13 assertions