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