Ascent++
Search
Assertion list
inner moon
(
subgroup
of
moon
)
→ IsA
Results from
Ascent++
:
1
inner moon
→
IsA
→
half rock
0.25