PanLinx
English
eng-000
enumeration reducedness
русский
rus-000
сводимость по перечислению
PanLex