MODEL
Definition
A <MODEL> is an <InformationObject> that represents a domain of individuals, a set of relations and functions among the elements of that domain, and an evaluation function that determines the truth values of sentences about that model