Universal answer derived for p(X)
Universal answer derived for q(X)
p(X) has answer p(A)
p(X) has answer p(a)
p(a) is true (OK)
p(b) is true (OK)
q(X) has answer q(A)
q(X) has answer q(a)
q(a) is true (OK)
q(b) is true (OK)
r(X) has answer r(a)
r(a) is true (OK)
r(b) is undefined (OK)
t(X) has answer t(a)
t(a) is true (OK)
t(b) is undefined (OK)
