count the total number of mammals whose phylum is vertebrata and order (taxonomy) is anthracosauria ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_uri dbo_phylum dbr_Vertebrata sep_dot var_uri dbo_order dbr_Anthracosauria brack_close