logical_forms: (infer (thickness higher world1) (strength lower world1) (strength higher world1)) (infer (thickness higher world2) (strength lower world2) (strength higher world2))
logical_form_pretty: qrel(thickness, higher, world1) -> qrel(strength, lower, world1) ; qrel(strength, higher, world1)
question: A tree truck is much thicker than the average stick so it is much (A) weaker (B) stronger