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