logical_forms: (infer (speed lower world1) (friction lower world1) (friction higher world1)) (infer (speed lower world2) (friction lower world2) (friction higher world2))
logical_form_pretty: qrel(speed, lower, world1) -> qrel(friction, lower, world1) ; qrel(friction, higher, world1)
question: The construction worker walked slowly and carefully along the shaky ground until he reached the street because it had (A) more friction (B) less friction