logical_forms: (infer (strength higher world1) (thickness higher world2) (thickness higher world1)) (infer (strength higher world2) (thickness higher world1) (thickness higher world2))
logical_form_pretty: qrel(strength, higher, world1) -> qrel(thickness, higher, world2) ; qrel(thickness, higher, world1)
question: If you smack your toe into something you may break it but your leg likely wouldn't break because it's stronger and it's (A) thinner (B) thicker