EF ((P1>=1 and (P10>=1 or P11>=1)) or (P5>=1 and (P3>=1 or P2>=1)))