# Simple two valued model
# oatoms vs katoms


(-a | c) & d.

a :- not b.
c :- c.