Assertion list for term "move at time".

Results from Ascent++: 2
plot CapableOfmove at time 0.37
foot CapableOfmove at time 0.32