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 identical trucks begin to accelerate as fast as possible. One truck is empty and one is full of bricks. Which truck will accelerate more quickly? (A) Empty truck (B) Truck full of bricks