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