PanLinx
English
eng-000
quantified variable
русский
rus-000
квантифицированная переменная
PanLex