A structured argumentation system with backing and undercutting. (March 2016)