Ascent++
Search
Assertion list
stray dog
(
subgroup
of
dog
)
→ IsA
Results from
Ascent++
:
2
stray dog
→
IsA
→
problem
0.40
stray dog
→
IsA
→
dog
0.40