A[] not ((p2.cs and (p1.cs)) or (p3.cs and (p1.cs or p2.cs)) or (p4.cs and (p1.cs or p2.cs or p3.cs)) )