PanLinx
English
eng-000
positively ordered
русский
rus-000
положительно упорядоченный
PanLex