Assertion: gnome | /r/HasProperty | available
Facets:
value: for linux
type: OTHER
value: widely
type: DEGREE
Source sentences:
text: GNOME is widely available as the default desktop on most of the major modern Linux distributions, including RHEL, Fedora, Debian, and Ubuntu.
text: KDE and Gnome are two graphical user interfaces that are available for Linux