a ; -a.
s :- not w, -a.
w :- not s.