Assertion: car | /r/HasProperty | green
Facets:
Source sentences:
text: The cars also automatically slow down and eventually stop at traffic lights (even if they are green), and the driver indicates that it is safe to proceed through the traffic light.