existential generalization

Also known as existential rules

inference rule that infers “there exists an A that is B” from “A is B”