Computational Argumentation (Phase 1). Moving doctrine from prose to executable, machine-readable logic.