PanLinx
русский
rus-000
навешивание квантора общности
English
eng-000
universal quantification
PanLex
