Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis