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