police car subgroup of car, 5 assertions