" P : OR*