Question: Do any of the English professors have a PhD?
SQL: SELECT count ( * )  from professor where dept_code  =  "ENG" and prof_high_degree  =  "Ph.D."