First Order Logic In Ai Examples