6 ounces fresh spinach or baby spinach (about 4 packed cups)
4 tablespoons lemon juice
Preheat the pressure cooker (by pressing brown/sauté mode).
Add the butter, oil, onion, garlic, coriander, cinnamon, turmeric, clove, cayenne, cardamom, and nutmeg. Sauté three minutes. Add the lentils and water.
Close the lid and pressure-cook for 10 minutes at high pressure. When time is up, open the pressure cooker with natural release: Turn off the pressure cooker and wait for pressure to come down naturally, about 15 to 20 minutes.
Remove the lid, tilting it away from you. Add the salt and pepper, and mix in the spinach leaves to wilt them into the soup.
Stir in the fresh lemon juice and serve.