PanLinx
русский
rus-000
перечислимый предикат
English
eng-000
enumerable predicate
PanLex