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