Assertion: greeter | /r/HasProperty | gui
Facets:
Source sentences:
text: A greeter is a GUI that prompts the user for credentials, lets the user select a session, and so on.