Assertion list for term "moved in +positivedirection".

Results from Ascent++: 1
circle ReceivesActionmoved in +positivedirection 0.28