Assertion list for term "count down minute".

Results from Ascent++: 1
clock CapableOfcount down minute 0.39