Assertion: pedestrian's signal | /r/CapableOf | remain red
Facets:
Source sentences:
text: An on-crossing detector ensures that the signal for vehicles remains red until pedestrians have finished crossing (within practical limits).