PanLinx
čeština
ces-000
následná podmínka
English
eng-000
postcondition
PanLex