PanLinx
English
eng-000
compatible propositions
русский
rus-000
совместимые утверждения
PanLex