Assertion list
snowmobile (primary) → IsA
Results from Ascent++: 2
snowmobile → IsA → vehicle 0.57
snowmobile → IsA → a land vehicle 0.34