Ascent++
Search
Assertion list
rear tire
(
subgroup
of
tire
)
→ IsA
Results from
Ascent++
:
2
rear tire
→
IsA
→
off the ground
0.35
rear tire
→
IsA
→
under more of a burden
0.25