Assertion list for term "stop at the door".

Results from Ascent++: 1
footstep CapableOfstop at the door 0.25