Add the oil to the Instant Pot insert and set on the medium sauté function. Add the onions, carrot, celery, and salt and cook for 5 to 7 minutes.
Add the garlic, bay leaf, cumin, coriander, and smoked paprika and cook for 1 minute. Turn off the sauté function and add the lentils, tomatoes, and stock. Set Instant Pot to Manual, High Pressure and set for 18 minutes.
When finished cooking, set the valve to quick release. Stir in the lemon juice and garnish with parsley to serve.
Serving size: about 1 1/2 cups.