Assertion list for term "last for picosecond".

Results from Ascent++: 1
spin CapableOflast for picosecond 0.25