analyze {HEAD ~ the first computing service} to identify a first set of one or more variables that must be assigned respective variable states in the first set of variable states in order to provide {TAIL ~ the first computing service}, the first one or more variables including the first variable; and 
analyze { HEAD ~ the first computing service } to identify a first set of one or more variables that must be assigned respective variable states in the first set of variable states in order to provide { TAIL ~ the first computing service } , the first one or more variables including the first variable ; and
OTH HEAD HEAD HEAD HEAD HEAD HEAD HEAD HEAD OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH TAIL TAIL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH