Symplectic resolutions, Lefschetz property and formality

We introduce a method to resolve a symplectic orbifold(M,ω) into a smooth symplectic manifold . Then we study how the formality and the Lefschetz property of are compared with that of (M,ω). We also study the formality of the symplectic blow-up of (M,ω) along symplectic submanifolds disjoint from the orbifold singularities. This allows us to construct the first example of a simply connected compact symplectic manifold of dimension 8 which satisfies the Lefschetz property but is not formal, therefore giving a counter-example to a conjecture of Babenko and Taimanov.