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 ) −