L: [a,b,p,q,r]
A: [a,b]
C(a): r
C(b): p
[r1]: p <- q
[r2]: q <- a
[r3]: r <- b