Ascent++
Search
Assertion list
chestnut
(
primary
)
→ IsA
Results from
Ascent++
:
2
chestnut
→
IsA
→
nut
0.40
chestnut
→
IsA
→
tree
0.29