Question: How many have a Ph.D. degree?
SQL: SELECT count ( * )  FROM professor where prof_high_degree  =  "Ph.D."