PanLinx
русский
rus-000
силлогистический вывод из определенного числа посылок
English
eng-000
conclusion
PanLex
