logical_forms: (infer (thickness higher world1) (strength higher world1) (strength higher world2)) (infer (thickness higher world2) (strength higher world2) (strength higher world1))
logical_form_pretty: qrel(thickness, higher, world1) -> qrel(strength, higher, world1) ; qrel(strength, higher, world2)
question: A tree is thicker then a cactus. This means the _____ is stronger (A) tree (B) cactus