Assertion list for term "never cross road".

Results from Ascent++: 1
pedestrian CapableOfnever cross road 0.16