Multi-Object Reasoning with Constrained Goal Models