Assertion list for term "receive interrupt".

Results from Ascent++: 2
cpu CapableOfreceive interrupt 0.44
processor (aspect of cpu) CapableOfreceive interrupt 0.25