list the software which uses mac os x 10 . 7 as their operating system ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_operatingSystem dbr_Mac_OS_X_10.7 sep_dot var_uri a dbo_Software brack_close