ant colony subgroup of colony, 4 assertions