PanLinx
русский
rus-000
пустой дизъюнкт
English
eng-000
empty clause
PanLex