Das Fleisch in etwa 12 mm dicke Scheiben schneiden. Für die Marinade Knoblauch schälen und mit der stumpfen Seite des Messers andrücken. Gewürze im Mörser fein zerstoßen. Mit Knoblauch, Paprika und Thymian in eine Schüssel geben, Olivenöl dazugeben, alles gut vermengen. Das Fleisch damit einreiben und 24 Stunden lang kühl stellen. Um die Linsen zu kochen, Traubenkern- oder Olivenöl in einem Topf erhitzen, Zwiebel fein schneiden, darin dünsten. Linsen und Lorbeer dazugeben. Hitze herunterstellen, den Wein dazugeben und einkochen lassen. Dann Brühe dazugeben, sodass die Linsen knapp bedeckt sind. Flüssigkeit aufkochen, dann auf mittlerer Hitze bei geschlossenem Deckel kochen, bis die Linsen gar sind. Salzen und pfeffern. Tomaten grob hacken und zu den Linsen geben. Schließlich eine Bratpfanne erhitzen, bis sie sehr heiß ist. Das Fleisch in Portionen darin braten. Am Ende Linsen auf Tellern verteilen, Fleisch darauflegen, Korianderblättchen darüberstreuen.