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