MichaelHoffmann/AGORA — Issue #174: bug regarding situations, where adding another reason is forbidden
Author: MichaelHoffmann
Created: 2012-01-11 16:16:04+00:00
State: open

in translation.xml line 1392 says:

In test-129 I created a modus ponens argument with only if and a second reason, which should not be possible. In this case, you see the second reason, but this reason is not embedded in the enabler. It MAY not be embedded, because this would create an argument that contradicts the users intention. So, this is one of the two cases where we NEED the error message above in the very moment the user tries to add a second reason.

the other situation is a modus tollens argument that is formulated with anything else than "only if." Only if it is formulated with only if, a second reason can be added.