logical_forms: (infer (and (friction low world1) (friction high world2)) (smoothness lower world1) (smoothness lower world2)) (infer (and (friction low world2) (friction high world1)) (smoothness lower world2) (smoothness lower world1))
logical_form_pretty: qval(friction, low, world1), qval(friction, high, world2) -> qrel(smoothness, lower, world1) ; qrel(smoothness, lower, world2)
question: Jim's train encountered low resistance when moving over metal tracks compared to high resistance when moving over wooden tracks. He thus figured that the _____ were rougher (A) metal tracks (B) wooden tracks