Evaluating p81 : m(a)
m(a) is: true (OK)
m(b) is: true (OK)
m(c) is: false (OK)
p(a) is: true (OK)
p(b) is: true (OK)
p(c) is: false (OK)
q(a) is: true (OK)
q(b) is: true (OK)
q(c) is: false (OK)
r(a) is: false (OK)
r(b) is: false (OK)
r(c) is: true (OK)
s(a) is: true (OK)
s(b) is: false (OK)
s(c) is: true (OK)
