logical_forms: (infer (and (time high world1) (time low world2)) (distance higher world2) (distance higher world1)) (infer (and (time high world2) (time low world1)) (distance higher world1) (distance higher world2))
logical_form_pretty: qval(time, high, world1), qval(time, low, world2) -> qrel(distance, higher, world2) ; qrel(distance, higher, world1)
question: Two boats set sail from the same port and experience similar speeds on their journey. The first stops its trip in London, while the second continued onward to Norway. Which of the two has covered more distance by the end of their respective journies? (A) The boat to London (B) the boat to Norway