Herbrand-satisfiability of a Quantified Set-theoretic Fragment