Assertion list for term "two motions".

Results from Ascent++: 1
ion HasAtwo motions 0.30