Definition:Model of Sentence (Predicate Logic)