Ascent++
Search
Assertion list
for term "at least one planet".
Results from
Ascent++
:
1
star
→
HasA
→
at least one planet
0.55