Assertion list for term "move to festubert".

Results from Ascent++: 1
division CapableOfmove to festubert 0.30