Assertion list
former (primary) → HasA
Results from Ascent++: 1
former → HasA → an oscillating movement 0.59