If at least one dog is laying on his back.
return dog ;return back of #1 ;return #1 that is laying on #2 ;return number of  #3 ;return if  #4 is at least one
['select', 'project', 'filter', 'aggregate', 'boolean']