Assertion list for term "stop every block".

Results from Ascent++: 1
bus CapableOfstop every block 0.27