which movies starring ricky gervais were directed by david koepp ?
select distinct var_uri where brack_open var_uri rdf_type dbo_Film sep_dot var_uri dbo_starring dbr_Ricky_Gervais sep_dot var_uri dbo_director dbr_David_Koepp sep_dot brack_close