Working with TPTP files in Common Lisp