S09 - KBS - 02 - Logic Models and The Herbrand Universe