Assertion: interrupt | /r/HasProperty | set after higher priority
Facets:
Source sentences:
text: The lower priority interrupt flag is set after the higher priority one.