Assertion: gnome | /r/HasProperty | 3-with-mgse
Facets:
Source sentences:
text: Linux Mint 12, released in November 2011, subsequently included both, thereby giving users a choice of either GNOME 3-with-MGSE or a traditional GNOME 2 desktop.