3 Mar 2004
CS 3243 - Chapter 8
9
Models for FOL: Example
