Understanding Enthymemes in Argument Maps: Bridging Argument Mining and Logic-based Argumentation