A device insertion signal is transmitted to the device controller in response to another power management event and while {HEAD ~ the device} remains installed within {TAIL ~ the socket} 
remains installed within
A device insertion signal is transmitted to the device controller in response to another power management event and while { HEAD ~ the device } remains installed within { TAIL ~ the socket }
OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD REL REL REL TAIL TAIL TAIL TAIL TAIL TAIL