Assertion: lcd's refresh rate | /r/HasProperty | chosen by the user
Facets:
value: during setup of the display manager
type: TEMPORAL
Source sentences:
text: The many variations of Linux usually set a refresh rate chosen by the user during setup of the display manager (although a default option is usually included with xfree86).