Description: Generalization rule for restricted quantification. (Contributed by Wolf Lammen, 10-Jun-2023)