  In this paper we investigate the consequences and consistency of the downward
L\"owenheim-Skolem theorem for extension of the first order logic by the
Magidor-Malitz quantifier. We derive some combinatorial results and improve the
known upper bound for the consistency of Chang's Conjecture at successor of
singular cardinals.
