Assertion: red light | /r/HasProperty | displayed on a traffic signal
Facets:
Source sentences:
text: While a red light (or red turn arrow) is displayed on a traffic signal, or