PanLinx
русский
rus-000
синтетическая дедукция
English
eng-000
synthetic deduction
PanLex