Definition:Model for Predicate Logic