PanLinx
русский
rus-000
приводить силлогизм к более простой форме
English
eng-000
reduce
PanLex