Skolem-type normal forms for first-order languages with a generalized quantifier