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