Document with constraints and sub goals added

I added sub goals and constraints to the definitions