logical_forms: (infer (and (distance high world1) (distance low world2)) (apparentSize higher world1) (apparentSize lower world1)) (infer (and (distance high world2) (distance low world1)) (apparentSize higher world2) (apparentSize lower world2))
logical_form_pretty: qval(distance, high, world1), qval(distance, low, world2) -> qrel(apparentSize, higher, world1) ; qrel(apparentSize, lower, world1)
question: A house that was nearby looked very big but the house on the hill looked (A) bigger (B) smaller