What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? There is at least one z_3 for which z_3 will cook and z_3 will take a plane. For all z_3, z_3 will read a book.
There is at least one z_3 for which z_3 will cook. There is at least one z_3 for which z_3 will take a plane.