Assertion: command's switch | /r/HasProperty | typed
Facets:
Source sentences:
text: Thus, the switch to the user alice would be typed: