P. .. S-depends-p-c-1, and . Cn, V a k 2. P C i depends P ? i,1 |P ? i,2 |P ? i,3 , for each 1 ? i ? n 3. V a depends P a |P a for each atom a 4. P a conflicts P a for each atom a 5