Assertion: operating system's user interface | /r/HasProperty | packaged with cinnamon
Facets:
value: together
type: MANNER
Source sentences:
text: On desktop systems, the most popular user interfaces are the GUI shells, packaged together with extensive desktop environments, such as KDE Plasma, GNOME, MATE, Cinnamon, LXDE, Pantheon and Xfce, though a variety of additional user interfaces exist.