logical_forms: (infer (speed lower world1) (friction higher world2) (friction higher world1)) (infer (speed lower world2) (friction higher world1) (friction higher world2))
logical_form_pretty: qrel(speed, lower, world1) -> qrel(friction, higher, world2) ; qrel(friction, higher, world1)
question: A go kart races fast down a steep hill on pavement, but slower down a rocky road. There is more resistance on (A) pavement (B) rocky road?