If each image contains exactly one horned animal, and the horned animal in the right image has its face turned to the camera.
return horned  animals ;return images ;return number of  #1 for each  #2 ;return #2 where  #3 is equal to  one ;return number of  #2 ;return number of  #4 ;return if  #5 is equal to  #6 ;return right image  ;return #1 that is in  #8 ;return face of #9 ;return if  #10 is turned to  the  camera ;return if  both  #7 and #11 are true
['select', 'select', 'group', 'comparative', 'aggregate', 'aggregate', 'boolean', 'select', 'filter', 'project', 'boolean', 'boolean']