Define A Simple Predicate Logic