logical_forms: (infer (smoothness higher world1) (friction higher world1) (friction lower world1)) (infer (smoothness higher world2) (friction higher world2) (friction lower world2))
logical_form_pretty: qrel(smoothness, higher, world1) -> qrel(friction, higher, world1) ; qrel(friction, lower, world1)
question: Mica wanted to skate in the house. In the sun room, she tried to skate on the Astroturf covered floor which was hard. Then she tried in the basement on hardwood floors. She found it easier to skate in the basement. She discover this was so because (A) there was more resistance (B) there was less resistance