PanLinx
русский
rus-000
ограниченная переменная
English
eng-000
bounded variable
PanLex
