logical_forms: (infer (distance higher world1) (apparentSize higher world1) (apparentSize lower world1)) (infer (distance higher world2) (apparentSize higher world2) (apparentSize lower world2))
logical_form_pretty: qrel(distance, higher, world1) -> qrel(apparentSize, higher, world1) ; qrel(apparentSize, lower, world1)
question: Bob watches a car leave from his driveway to head up the mountain, as the car drove up the mountain would it appear (A) larger or (B) smaller to Bob?