PanLinx
English
eng-000
straightforward deduction
русский
rus-000
непосредственный вывод
PanLex
