Assertion list for term "arrive at the backstop".

Results from Ascent++: 1
bullet CapableOfarrive at the backstop 0.31