Assertion: key | /r/HasProperty | modified
Facets:
Source sentences:
text: A dead key is different from a typical modifier key (such as AltGr or ⌥ Option ) in that rather than being pressed and held while another key is struck, the dead key is pressed and released before striking the key to be modified.