Description: Alternate definition of the restricted existential quantification ( df-wl-rex ), according to the pattern given in df-wl-ral . (Contributed by Wolf Lammen, 25-May-2023)