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