. . . "A DRS is translatable into FOL. The FOL is then preferably translated into a programming language such as PROLOG, or a computational knowledge base." .