MichaelHoffmann/AGORA — Issue #154: bug in not-all-syllogism
Author: MichaelHoffmann
Created: 2011-10-20 09:17:12+00:00
State: open

I created a not-all-syllogism. After changing the ArgScheme into modus ponens, the reason disappeared and was replaced by the claim so that reason and claim were identical. After reopening the map, however, it was fine again.