PanLinx
English
eng-000
IF-THEN
русский
rus-000
импликация
PanLex