First Order Logic Examples