PanLinx
русский
rus-000
сжатие кванторов
English
eng-000
contraction of quantifiers
PanLex
