Assertion list for term "changed for running rotatetransition".
Results from Ascent++: 1
value (aspect of property) → ReceivesAction → changed for running rotatetransition 0.31