What is the total number of professors with a Ph.D. ?
SELECT count(*) FROM professor WHERE prof_high_degree  =  'Ph.D.'
SELECT count(*) FROM professor WHERE prof_high_degree  =  'Ph.D.'
[{'count(*)': 18}]