Assertion: interrupt's isr | /r/HasProperty | the location of code
Facets:
Source sentences:
text: ISR :- The location of code we want to execute if this interrupt is triggered.