how many automobile companies are a corporations?
(COUNT (AND automotive.company (JOIN (R business.company_type.companies_of_this_type) m.023k2)))