logical_forms: (infer (exerciseIntensity higher world1) (amountSweat higher world1) (amountSweat lower world1)) (infer (exerciseIntensity higher world2) (amountSweat higher world2) (amountSweat lower world2))
logical_form_pretty: qrel(exerciseIntensity, higher, world1) -> qrel(amountSweat, higher, world1) ; qrel(amountSweat, lower, world1)
question: Miles is doing cross-fit this week, but didn't previously work out. Miles is now perspiring (A) more (B) less