(load-ke-text-data " constant: MicrotheoryUnsynchronized. isa: MicrotheorType. constant: CalledFromProlog. isa: MicrotheorType. constant: CalledFromCycL. isa: MicrotheorType. constant: MicrotheoryUnsynchronized. isa: MicrotheorType. constant: MicrotheoryUnsynchronized. isa: MicrotheorType. " ) '(load "e2c/prologmud.lisp")