Ascent++
Search
Assertion list
oxygen concentration
(
subgroup
of
concentration
)
→ ReceivesAction
Results from
Ascent++
:
4
oxygen concentration
→
ReceivesAction
→
lowered
0.65
oxygen concentration
→
ReceivesAction
→
measured
0.57
oxygen concentration
→
ReceivesAction
→
maintained in the range
0.25
oxygen concentration
→
ReceivesAction
→
stored in the memory
0.25