Assertion list for term "last of course".

Results from Ascent++: 1
concrete CapableOflast of course 0.25