logical_forms: (infer (and (friction low world1) (friction high world2)) (speed higher world2) (speed higher world1)) (infer (and (friction low world2) (friction high world1)) (speed higher world1) (speed higher world2))
logical_form_pretty: qval(friction, low, world1), qval(friction, high, world2) -> qrel(speed, higher, world2) ; qrel(speed, higher, world1)
question: Pet food sliding across a shiny floor has low resistance, while pet food sliding across a matte floor has high resistance. Which floor will allow the top speed of the pet food to reach a higher level? (A) matte floor (B) shiny floor