__init__.cpython-314.pyc boxer.cpython-314.pyc chat80.cpython-314.pyc cooper_storage.cpython-314.pyc drt.cpython-314.pyc drt_glue_demo.cpython-314.pyc evaluate.cpython-314.pyc glue.cpython-314.pyc hole.cpython-314.pyc lfg.cpython-314.pyc linearlogic.cpython-314.pyc logic.cpython-314.pyc relextract.cpython-314.pyc skolemize.cpython-314.pyc util.cpython-314.pyc