logical_forms: (infer (and (thickness low world1) (thickness high world2)) (strength lower world1) (strength lower world2)) (infer (and (thickness low world2) (thickness high world1)) (strength lower world2) (strength lower world1))
logical_form_pretty: qval(thickness, low, world1), qval(thickness, high, world2) -> qrel(strength, lower, world1) ; qrel(strength, lower, world2)
question: Jacob and Benny are squatting at the gym. Jacob has thin frail legs and Benny has big strong legs. Who squats less weight? (A) Jacob (B) Benny