which field of study has subdiscipline non-axiomatic reasoning system?
(AND education.field_of_study (JOIN education.field_of_study.subdisciplines m.0vsgdml))