logical_forms: (infer (speed higher world1) (time lower world1) (time lower world2)) (infer (speed higher world2) (time lower world2) (time lower world1))
logical_form_pretty: qrel(speed, higher, world1) -> qrel(time, lower, world1) ; qrel(time, lower, world2)
question: The Flash is the fastest superhero in the universe. Him and Wolverine decide to race from one side of the earth to the other. Who wins this race? (A) The Flash (B) Wolverine