Argument technology for debating with humans