Assertion: key's functionality | /r/HasProperty | invoked with ctrl
Facets:
value: in many windows applications
type: LOCATION
value: sometimes
type: TEMPORAL
Source sentences:
text: Some Windows public terminals do not have a Menu Key on their keyboard in order to prevent users from right clicking; however, in many Windows applications, a similar functionality can be invoked with the Shift + F10 keyboard shortcut, or sometimes Ctrl + Shift + F10.