Assertion: exception's trap | /r/HasProperty | serviced after the instruction
Facets:
Source sentences:
text: Traps are serviced after the instruction causing the trap.