logical_forms: (infer (and (amountSweat high world1) (amountSweat low world2)) (exerciseIntensity higher world1) (exerciseIntensity lower world1)) (infer (and (amountSweat high world2) (amountSweat low world1)) (exerciseIntensity higher world2) (exerciseIntensity lower world2))
logical_form_pretty: qval(amountSweat, high, world1), qval(amountSweat, low, world2) -> qrel(exerciseIntensity, higher, world1) ; qrel(exerciseIntensity, lower, world1)
question: Bill and Dan were both at the track running. Leaving together you can see that Dan is very sweaty while Bill hardly broke a sweat. Dan must have (A) worked out hard (B) worked out lightly