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