Ascent++
Search
Assertion list
subset
(
aspect
of
set
)
→ IsA
Results from
Ascent++
:
1
subset
→
IsA
→
set
0.25