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