Assertion: menu | /r/HasProperty | restart
Facets:
Source sentences:
text: And a Shut Down menu includes several options, such as Shut Down, Restart, Sleep, and Hibernate.