Pressure Cooker Minestrone Soup

Ingredients

• 1 medium onion
• 3 cloves garlic
• 3 to 4 medium carrots
• 1 bunch celery celery
• 1 large zucchini
• 1 large potato
• 3 tablespoons olive oil
• 1 tablespoon dried Italian seasoning
• 1 can (14 1/2 ounces) basil-, oregano-, and garlic-flavored diced tomatoes
• 1 cup string beans
• 1 head cabbage
• 1 tablespoon salt
• 1/2 teaspoon pepper
• 8 cups water
• 1 can (19 ounces) red kidney beans
• 1 1/2 cups ditalini (small, tube-shaped pasta), cooked al dente
• 1/2 cup freshly grated Parmesan or pecorino Romano cheese
• Salt
• pepper