Evaluating p49 : q(a)
p(a) is: false (OK)
q(a) is: true (OK)
r(a) is: true (OK)
