Ascent++
Search
Assertion list
large asteroid
(
subgroup
of
asteroid
)
→ IsA
Results from
Ascent++
:
1
large asteroid
→
IsA
→
on a collision course
0.30