logical_forms: (infer (and (weight low world1) (weight high world2)) (acceleration higher world1) (acceleration higher world2)) (infer (and (weight low world2) (weight high world1)) (acceleration higher world2) (acceleration higher world1))
logical_form_pretty: qval(weight, low, world1), qval(weight, high, world2) -> qrel(acceleration, higher, world1) ; qrel(acceleration, higher, world2)
question: Two trucks are pulling onto the highway. The green truck has no load to pull, but the blue truck is towing a large load of products. The truck that can speed up fastest is the (A) green truck (B) blue truck