Assertion list
speed (aspect of elevator ) → ReceivesAction
Results from Ascent++: 4
speed → ReceivesAction → increased 0.58
speed → ReceivesAction → used to determine estimated arr… 0.52
speed → ReceivesAction → reduced 0.36
speed → ReceivesAction → enhanced by frank sprague 0.16