PanLinx
русский
rus-000
логическая импликация
English
eng-000
logical implication
PanLex
