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