logical_forms: (infer (friction higher world1) (speed lower world2) (speed lower world1)) (infer (friction higher world2) (speed lower world1) (speed lower world2))
logical_form_pretty: qrel(friction, higher, world1) -> qrel(speed, lower, world2) ; qrel(speed, lower, world1)
question: Larry is shopping. As he pushes his shopping cart outside the store, he realizes there is more friction in the old parking lot than there was in the store on the tile floor. Larry pushes the shopping cart at a lower rate of speed over the (A) tile floor (B) old parking lot.