PanLinx
English
eng-000
double implication
русский
rus-000
двойная импликация
PanLex