question_text: Are both Papa John's Pizza and Papa Gino's specialized in Pizza?
decomposition: return if Papa  John 's  Pizza is specialized in  Pizza  ;return if Papa  Gino 's  is specialized in  Pizza ;return if both #1 and  #2 are true