logical_forms: (infer (amountSweat lower world1) (exerciseIntensity lower world1) (exerciseIntensity lower world2)) (infer (amountSweat lower world2) (exerciseIntensity lower world2) (exerciseIntensity lower world1))
logical_form_pretty: qrel(amountSweat, lower, world1) -> qrel(exerciseIntensity, lower, world1) ; qrel(exerciseIntensity, lower, world2)
question: Tim and Tom went to the gym to work out. After an hour Tom was a lot sweatier than Tim, even though they were both wearing shorts and a tank top. Who had been exercising the least? (A) Tim (B) Tom