Task: Question Generation
Input (English): #1 return mirrors 
#2 return sink basins 
#3 return #1 positioned above #2 
#4 return number of  #3 for each  #2 
#5 return #2 where  #4 is at least one 
#6 return number of  #2 
#7 return number of  #5 
#8 return if  #7 is equal to  #6
Output (English): If there is a mirror positioned above every sink basin.