logical_forms: (infer (strength lower world1) (thickness lower world2) (thickness lower world1)) (infer (strength lower world2) (thickness lower world1) (thickness lower world2))
logical_form_pretty: qrel(strength, lower, world1) -> qrel(thickness, lower, world2) ; qrel(thickness, lower, world1)
question: Which would be easier to karate chop in half (A) a thick piece of wood or (B) a thin piece of wood.