Assertion: interrupt | /r/HasProperty | set at same time
Facets:
Source sentences:
text: The higher priority and lower priority interrupt flags are set at the same time.