PanLinx
čeština
ces-000
modus ponens
PanLex