If left image shows exactly one horned animal, with both horns showing clearly and separately.
return left image ;return horned animal in  #1 ;return number of  #2 ;return if  #3 is equal to  one ;return horns of #2 ;return #5 that are showing clearly ;return #6 that are showing separately ;return number of  #7 ;return if  #8 is equal to  two ;return if  both  #4 and #9 are true
['select', 'project', 'aggregate', 'boolean', 'project', 'filter', 'filter', 'aggregate', 'boolean', 'boolean']