Assertion list for term "brake at right moments".

Results from Ascent++: 1
drum CapableOfbrake at right moments 0.25