logical_forms: (infer (exerciseIntensity higher world1) (amountSweat higher world1) (amountSweat higher world2)) (infer (exerciseIntensity higher world2) (amountSweat higher world2) (amountSweat higher world1))
logical_form_pretty: qrel(exerciseIntensity, higher, world1) -> qrel(amountSweat, higher, world1) ; qrel(amountSweat, higher, world2)
question: John and Jane start playing basketball together, but Jane only plays for half as long as John. If both John and Jane are equally athletic, who will have more sweat on their body? (A) John (B) Jane