Towards automated identification and analysis of argumentation structures in the decision corpus of the German Federal Constitutional Court | IEEE Conference Publication | IEEE Xplore