logical_forms: (infer (distance higher world1) (friction higher world2) (friction higher world1)) (infer (distance higher world2) (friction higher world1) (friction higher world2))
logical_form_pretty: qrel(distance, higher, world1) -> qrel(friction, higher, world2) ; qrel(friction, higher, world1)
question: A blanket sliding across a floor moves a greater distance then one sliding across a bed. This means the _____ has more friction (A) bed (B) floor