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