Task: Question Generation
Input (English): #1 return dogs 
#2 return stomachs of  #1 
#3 return #1 that are  laying on #2 
#4 return number of #1 
#5 return number of #3 
#6 return If #4 is  equal to #5
Output (English): If all the dogs are laying on their stomachs.