A i

C j

¬ C j

a P

0

L j ( p ) + L i j ( p )

a B

σ ( L i j ( p ) L j ( p ) )

σ ( L j ( p ) + L i j ( p ) )

a N

L i j ( p ) L j ( p )

0