how many software run on operating system is red hat enterprise linux ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_uri dbo_operatingSystem dbr_Red_Hat_Enterprise_Linux sep_dot var_uri a dbo_Software brack_close