Assertion list for term "included in the device".

Results from Ascent++: 2
microprocessor ReceivesActionincluded in the device 0.25
reservoir ReceivesActionincluded in the device 0.25