Assertion: traffic light | /r/HasProperty | to have three lights
Facets:
Source sentences:
text: Specifications (called requirements in engineering) that must be met are: the traffic light is to have three lights (red, yellow, green), be able to shine red, yellow and green for a certain number of seconds each, and be able to repeat this sequence indefinitely.