Evaluating p19 : r(A,B)
p(a,b) is: true (OK)
p(a,c) is: true (OK)
p(a,d) is: true (OK)
p(b,a) is: false (OK)
p(c,a) is: false (OK)
p(d,a) is: false (OK)
r(a,b) is: true (OK)
r(a,c) is: true (OK)
r(a,d) is: true (OK)
r(b,a) is: false (OK)
r(c,a) is: false (OK)
r(d,a) is: false (OK)
