Consider the following premises. There is at least one x for which if x cooks, then x is an astronaut. For all x, x will cook. Can we infer the following from them? If we can, name the inference rule being used: There is at least one x for which x is an astronaut.
We can infer this via the existential modus ponens rule. Therefore, the answer is yes.