How many professors do have a Ph.D. degree?
SELECT count(*) FROM professor WHERE prof_high_degree  =  'Ph.D.'
count of professors with a Ph.D. degree refers to COUNT(*) WHERE prof_high_degree = 'Ph.D.';