Input: the driver pulled over to the side of the road because the red light came on
Output: plausible