From Natural Deduction to Natural Reasoning
(Abstract soon to be announced)