Automating Argumentation (for Overarching Properties) with Goal-directed Answer Set Programming