PanLinx: естественный вывод

русский	rus-000
естественный вывод

English	eng-000	natural deduction
English	eng-000	natural inference

PanLex-PanLinx