access aisle subgroup of aisle, 2 assertions