Ascent++
Search
Assertion list
hazardous asteroid
(
subgroup
of
asteroid
)
→ ReceivesAction
Results from
Ascent++
:
1
hazardous asteroid
→
ReceivesAction
→
found before potential impact
0.25