Assertion list for term "slip inside the definition of a vehicle".

Results from Ascent++: 1
truck CapableOfslip inside the definition of a vehicle 0.38