Firstly, heat a tablespoon of olive oil in a pressure cooker and tip in bay leaf and cinnamon. Then add garlic. Sauté till it turns pink.
Now add in the onions. Sauté for a minute.
Thereafter add carrot and pumpkin and sauté them.
Add tomatoes and salt. Sauté for 2 minutes and then add water. Plunge in 3-4 peppercorns (not mandatory & not shown in the ingredients)
Secure lid and pressure cook the veggies for 3-4 whistles on medium flame. Thereafter put off flame.
Let the pressure release on its own. Open the lid and wait for veggies to cool down.
Discard bay leaf and cinnamon stick and blend all the vegetables along with the stock.
In the same pressure cooker, again heat half a tablespoon of oil. Add herbs mix.
Add the blended pumpkin purée. Add some more water to adjust consistency for a thick soup.
Check for salt. If need be, add more.
Let the soup simmer for 2 to 3 minutes.
Finally switch off the flame and pour soup in bowls. Sprinkle some black pepper powder, pumpkin seeds and coriander leaves.