Separate quantifier and group elements