PanLinx
English
eng-000
function quantifier
русский
rus-000
функциональный квантор
PanLex