Assertion: priority inversion | /r/HasProperty | third option
Facets:
Source sentences:
text: So priority inversion is impossible as there is no third option.