Assertion list for term "choose to complete all levels of the program".

Results from Ascent++: 1
skater CapableOfchoose to complete all levels of the program 0.29