PanLinx
русский
rus-000
единичный дизъюнкт
English
eng-000
unit clause
PanLex