In a pressure cooker heat ghee. Add bay leaf, cloves, cinnamon, cardamom, dry red chillies, mustard seeds and cumin seeds. When crackles add asafoetida and chopped green chillies. Add chopped tomato and ginger paste and saute for sometimes. Add chopped potato, carrot and cauliflower florets. Saute for sometimes. (You can add chopped French beans and green peas also)