test2.clf revision dd2cdefff2e823963cde6ec1fb9c28af1b137865
dd2cdefff2e823963cde6ec1fb9c28af1b137865Karl Luc(Dogs bello lucky)
dd2cdefff2e823963cde6ec1fb9c28af1b137865Karl Luc(Dog (operator one two))
dd2cdefff2e823963cde6ec1fb9c28af1b137865Karl Luc(and (Cube a) (Dodec b))
dd2cdefff2e823963cde6ec1fb9c28af1b137865Karl Luc(or (Cube c) (Cube d) (Cube e))
dd2cdefff2e823963cde6ec1fb9c28af1b137865Karl Luc(not (Cube f))
dd2cdefff2e823963cde6ec1fb9c28af1b137865Karl Luc(if (Dodec g) (Dodec h))
dd2cdefff2e823963cde6ec1fb9c28af1b137865Karl Luc(iff (Cube a) (Dodec b))
dd2cdefff2e823963cde6ec1fb9c28af1b137865Karl Luc(forall (x) (Small x))
dd2cdefff2e823963cde6ec1fb9c28af1b137865Karl Luc(forall (x y) (and (Cube x)
dd2cdefff2e823963cde6ec1fb9c28af1b137865Karl Luc (Larger x y)))
dd2cdefff2e823963cde6ec1fb9c28af1b137865Karl Luc(exists (x) (Cube x))
dd2cdefff2e823963cde6ec1fb9c28af1b137865Karl Luc(not (exists (x) (and (Cube x)
dd2cdefff2e823963cde6ec1fb9c28af1b137865Karl Luc (forall (y) (Larger (z, y))))))