This is a story about four people named Everybody, Somebody, Anybody and Nobody.
Logics for Data and Knowledge Representation