how many books have been penned by sean k . reynolds ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_uri dbo_author dbr_Sean_K._Reynolds sep_dot var_uri a dbo_Book brack_close