Comment by kzrdude

This is called a hybrid reasoning because the reasoning can be mapped to text and is therefore introspectable, with tooling. That should address the concern, I think.