how many librettists are there for the carmen opera opera?
(COUNT (AND opera.librettist (JOIN (R opera.opera.librettist) m.09g6g)))