logical_forms: (infer (and (time high world1) (time low world2)) (speed higher world1) (speed lower world1)) (infer (and (time high world2) (time low world1)) (speed higher world2) (speed lower world2))
logical_form_pretty: qval(time, high, world1), qval(time, low, world2) -> qrel(speed, higher, world1) ; qrel(speed, lower, world1)
question: The tortoise is likely to lose in a race away from a predator to a hare because (A) it is faster (B) it is slower