Question: How many professors do have a Ph.D. degree?
SQL: SELECT COUNT(*) FROM professor WHERE prof_high_degree = 'Ph.D.'