which is the number of automotive classes which are examples of mazda and pilot?
(COUNT (AND automotive.automotive_class (AND (JOIN automotive.automotive_class.examples m.067msv) (JOIN automotive.automotive_class.examples m.04grkv))))