These classes represent statements about an event algebra.