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