logical_forms: (infer (speed higher world1) (speed higher world1) (speed higher world2)) (infer (speed higher world2) (speed higher world2) (speed higher world1))
logical_form_pretty: qrel(speed, higher, world1) -> qrel(speed, higher, world1) ; qrel(speed, higher, world2)
question: Dan thought that his new hockey buck would go faster off the ice and on a court. So he decided to conduct a test and he determined that he puck went faster on (A) the ice or (B) the basketball court.