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