non-axiomatic reasoning system is a subdiscipline of what field?
(AND education.field_of_study (JOIN education.field_of_study.subdisciplines m.0vsgdml))