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