PanLinx
русский
rus-000
позитивно формульный предикат
English
eng-000
positive-formula predicate
PanLex