PanLinx: строгий вывод

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

English	eng-000	rigorous deduction
English	eng-000	strong conclusion

PanLex-PanLinx