Models for FOL: Example