logical_forms: (infer (smoothness lower world1) (friction higher world2) (friction higher world1)) (infer (smoothness lower world2) (friction higher world1) (friction higher world2))
logical_form_pretty: qrel(smoothness, lower, world1) -> qrel(friction, higher, world2) ; qrel(friction, higher, world1)
question: Bread is rougher then toast. This means that sliding bacon across _____ will cause it to experience more resistance (A) toast (B) bread