Found:

QR

See: Quantifier Raising