race car subgroup of car, 11 assertions

IsA 1
car 0.25