PanLinx
русский
rus-000
большая посылка силлогизма
English
eng-000
sumption
PanLex