MichaelHoffmann/AGORA — Issue #149: connect multiple reasons by "and if" instead of "and"
Author: MichaelHoffmann
Created: 2011-10-10 21:22:31+00:00
State: open

we talked about the "and if" issue once, but I could not find an issue discussing this. This refers to the language that is created in the enabler in case of modus ponens or tollens when multiple reasons are provided. This is only due to better readability.