Automatic evaluation of design alternatives with quantitative argumentation | Synapse