An Example of a Logical Model