Assertion: siding's use | /r/HasProperty | proven safe
Facets:
Source sentences:
text: An interlocking is designed so that it is impossible to display a signal to proceed unless the route to be used is proven safe.