how many basketball players studied in the westminster college ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_uri dbo_college dbr_Westminster_College_ attr_open Utah attr_close sep_dot var_uri a dbo_BasketballPlayer brack_close