PanLinx
русский
rus-000
тривиальное ограничение
English
eng-000
trivial constraint
PanLex