PanLinx
русский
rus-000
немонотонное заключение
English
eng-000
nonmonotonic conclusion
PanLex
