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