logical_forms: (infer (and (exerciseIntensity high world1) (exerciseIntensity low world2)) (amountSweat higher world1) (amountSweat higher world2)) (infer (and (exerciseIntensity high world2) (exerciseIntensity low world1)) (amountSweat higher world2) (amountSweat higher world1))
logical_form_pretty: qval(exerciseIntensity, high, world1), qval(exerciseIntensity, low, world2) -> qrel(amountSweat, higher, world1) ; qrel(amountSweat, higher, world2)
question: Carrie has locked everyone in the gym and is doing strenuous work to kill them all.  Robert is walking down the road at a leisurely pace.  Who will be sweatier? (A) Carrie will sweat more (B) Robert will sweat more