logical_forms: (infer (friction higher world1) (smoothness lower world2) (smoothness lower world1)) (infer (friction higher world2) (smoothness lower world1) (smoothness lower world2))
logical_form_pretty: qrel(friction, higher, world1) -> qrel(smoothness, lower, world2) ; qrel(smoothness, lower, world1)
question: Brock is playing outside. He rolls a ball cleanly across a length of cement near the house. He then takes the ball and tries to roll it over a series of metal rods lying on the ground. The rods offer a lot of resistance and it is hard to roll the ball. This is because it is rougher over the (A) cement (B) rods.