PanLinx
русский
rus-000
рассуждение методом исключения
English
eng-000
defeasible reasoning
PanLex