Assertion list
precession (primary) → CapableOf
Results from Ascent++: 1
precession → CapableOf → come to stop 0.16