p is true
p(a)
p0(a)
q is false
s(lasVegas,phoenix)
