Assertion: main menu | /r/HasProperty | opened
Facets:
Source sentences:
text: The main menu can also be opened while connected to a server (the default key to open the menu is Esc).