Assertion: gnome | /r/HasProperty | distributed with gok
Facets:
value: as keyboard
type: MANNER
Source sentences:
text: For example, if GNOME is distributed with GOK as the default on-screen keyboard, then this could be replaced with a different program if desired.