Wrap the translation FOL->CL together with the subsequent call to SBCL into a procedure.
Wrap the translation FOL->CL together with the subsequent call to SBCL into a procedure.

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language