logical_forms: (infer (friction lower world1) (smoothness lower world1) (smoothness lower world2)) (infer (friction lower world2) (smoothness lower world2) (smoothness lower world1))
logical_form_pretty: qrel(friction, lower, world1) -> qrel(smoothness, lower, world1) ; qrel(smoothness, lower, world2)
question: Mike slid his sock across an ironing board and a bedspread, determining that the ironing board had less resistance. This means that the (A) ironing board or (B) bedspread has a rougher surface