what is the total numbers of publishers that has artima inc. imprint?
(COUNT (AND book.publishing_company (JOIN book.publishing_company.imprint_of m.0c4y7tz)))