Directions

1. Set pressure cooker to "sear" and add olive oil, onions, and carrots. Season with salt and pepper. Once vegetables begin to sweat, add mushrooms, garlic, lentils, tomato paste, tomatoes, water, and spices.
2. Close and lock the lid, set to "rice" and adjust for 20 minutes.
3. When done, allow cooker to naturally release, then quick release and make sure all pressure is released before opening lid. Carefully open lid and stir sauce. Season, if necessary. Serve over pasta.