PanLinx
русский
rus-000
силлогистический вывод
English
eng-000
syllogistic inference
PanLex
