a; -a.
b; c :- a.
e :- 1 { b ; c }.