Question: What is the total number professors with doctorates employed by the 11 departments?
SQL: SELECT count ( * )  from professor where prof_high_degree  =  "Ph.D."