logical_forms: (infer (and (speed high world1) (speed low world2)) (time lower world2) (time lower world1)) (infer (and (speed high world2) (speed low world1)) (time lower world1) (time lower world2))
logical_form_pretty: qval(speed, high, world1), qval(speed, low, world2) -> qrel(time, lower, world2) ; qrel(time, lower, world1)
question: A sailboat and a speedboat were crossing the lake. Which one made it across first? (A) the sailboat (B) the speedboat