how many publisher has the imprint artima inc.?
(COUNT (AND book.publishing_company (JOIN book.publishing_company.imprint_of m.0c4y7tz)))