Assertion list for term "stop at the entrance".

Results from Ascent++: 1
bus CapableOfstop at the entrance 0.44