... valid argument form because the existential quantifier precedes the universal ... />
_Chain Inferences_
Rule: The existential quantifier must precede the universal ... />
_Inference Chains_
Rule: The existential quantifier must precede the universal ...