speed aspect of elevator, 5 assertions
HasProperty 1
high 0.25
ReceivesAction 4
increased 0.58
used to determine estim… 0.52
reduced 0.36
enhanced by frank sprag… 0.16