Assertion list for term "used in other operating systems".

Results from Ascent++: 1
kernel ReceivesActionused in other operating systems 0.33