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: Jim wants to cross a river and has a one inch thick wood plank and a four inch thick wood plank. Which plank is more likely to break? (A) One inch thick wood plank (B) Four inch thick wood plank