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