Evaluating p45 : w(A)
w(a) is: false (OK)
w(b) is: true (OK)
w(c) is: false (OK)
