Assertion list for term "determined in step".

Results from Ascent++: 4
value (aspect of parameter) ReceivesActiondetermined in step 0.42
value (aspect of function) ReceivesActiondetermined in step 0.35
identity ReceivesActiondetermined in step 0.25
status (aspect of device) ReceivesActiondetermined in step 0.25