Evaluating p42 : r(A,B)
p(a,b) is: true (OK)
r(a,b) is: true (OK)
r(a,c) is: true (OK)
r(a,d) is: true (OK)
r(a,e) is: true (OK)
r(a,f) is: true (OK)
r(a,g) is: true (OK)
r(a,h) is: true (OK)
r(a,i) is: true (OK)
r(a,j) is: true (OK)
r(a,k) is: true (OK)
r(a,l) is: true (OK)
