PanLinx
русский
rus-000
нестрогое рассуждение
English
eng-000
inexact reasoning
PanLex