what numer of bicycle models are the same type as avanti corsa 2009?
(COUNT (AND bicycles.bicycle_model (JOIN bicycles.bicycle_model.bicycle_type (JOIN bicycles.bicycle_type.bicycle_models_of_this_type m.05yrhbj))))