Assertion: pedestrian's time | /r/HasProperty | assigned to coordinated phase
Facets:
Source sentences:
text: When coordination timings are used, the unused green time can be assigned to the coordinated phase or divided amongst the other phases, but should not exceed the split time.