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