Logická analýza přirozeného jazyka

Zkuste převést následující věty do predikátů ve FOPL (volba významu predikátů je na vás, úloha má více řešení):

1. Brno je město, ale malé.
2. Přišla jsem domů a pustila si počítač.
3. Osobní auta mají přední náhon nebo zadní náhon.
4. Když prší, jsou mokré chodníky.
5. Když nejsou mokré chodníky, určitě neprší.