PanLinx
italiano
ita-000
postcondizione
français
fra-000
postcondition
PanLex