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