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