PanLinx
русский
rus-000
полный силлогизм
English
eng-000
full syllogism
PanLex