TASK DEFINITION: In this task, you will be given a set of steps that are required to answer a specific question. Your job is to generate that question. Each given step refers to either an entity (known or unknown), a propery of an entity or a query operation (count, group, union, etc.) Knowing those operations and how they appear in the input may help you generate more accurate questions.
 Select: A select step is used to return a set of objects. There are no references to previous steps in a select step. template: Return [attributes]
 Filter: A filter step is used to return results from a previous step to which a certain condition applies. template: Return [#step] [condition]
 Project: A project step should return certain attributes of the results of a previous step. template: Return [attributes] of [#step]
 Aggregate: An aggregate step returns an aggregator function applied on a step's result. template: Return the [aggregator] of [#step].
 Group: A group step is an aggregator applied on attributes. template: Return the [aggregator] of [#step] for each [attribute]
 Superlative: A superlative step is used to return the result with a highest/lowest attribute among other results. template: Return [#step1] [where] [#step2] [is] [highest / lowest]
 Comparative: A comparative step is used when we need to compare an attribute with a number to filter results. template: Return [#step1] [where] [#step2] [comparator] [number] 
 Union: A union step is used to return results of two steps together. template: Return [#step1] [or / ,] [#step2]
 Intersection: An intersection step returns the result that two steps have in common. template: Return [attribute] of both [#step1] and [#step2]
 Discard: A discard step returns result of a step and excludes result of another step from it. template: Return [#step1] besides [#step2]
 Sort: A sort returns result of another step in a specific order. template: Return [#step1] [ordered / sorted by] [#step2]
 Is true: An is true step checks a condition on another result and returns a true or false. template: Return [is / if] [condition]
 Arithmetic: An arithmatic step operates an arithmatic operation on one or more steps. template: Return the [arithmetic op.] of [#step1] [and] [#step2].
PROBLEM: #1 return beetles 
#2 return balls 
#3 return images 
#4 return number of  #1 for each  #3 
#5 return #3 where  #4 is equal to  one 
#6 return number of  #2 for each  #5 
#7 return #5 where  #6 is equal to  one 
#8 return number of  #3 
#9 return number of  #7 
#10 return if  #8 is equal to  #9 
#11 return surface of #2 
#12 return legs of #1 
#13 return #12 that are on #11 
#14 return number of  #12 for each  #1 
#15 return number of  #13 for each  #1 
#16 return #1 where  #14 is equal to  #15 
#17 return number of  #16 
#18 return if  #17 is equal to  zero 
#19 return if  both  #10 and #18 are true

SOLUTION: If each image contains one beetle and one ball, and no beetle has all its legs on the surface of the ball.

PROBLEM: #1 return large objects 
#2 return are there any  #1

SOLUTION: Are there any large objects in photo?

PROBLEM: #1 return tv 
#2 return shelf 
#3 return back of #2 
#4 return #2 where  #3 is tall 
#5 return cabinet 
#6 return #5 that is long 
#7 return #4 that is over #6 
#8 return #1 that is mounted on #7 
#9 return if  #8 is in  at least one image

SOLUTION:
If in at least one image there is a tv mounted to a shelf with a tall back over a long cabinet.