Assertion: interrupt's priority | /r/HasProperty | followed by rst
Facets:
Source sentences:
text: The TRAP has the highest priority followed by RST 7.5, RST 6.5, RST 5.5.