Assertion: wait | /r/HasProperty | last statement of the process
Facets:
Source sentences:
text: If a wait on sensitivity_list is the only wait in the process and the last statement of the process, then it can be substituted by a sensitivity list of a process.