unigram/FOL-nli.py,sha256=B50CPyMS2Ogvr-noJrTlfQLD0di96Y9vJaWhtTqd9aA,10199
unigram/__init__.py,sha256=29AF14ajpqDwfRN8k9E4o6qroIL8HtRrP0cZFFZhTDY,19048
unigram/assets/fol_nli_axioms,sha256=TZsEFf9QJHff4IefEAPiikC6fSR8EF0nLcJcXzjRnjs,3266
unigram/assets/fol_nli_verbalization.py,sha256=kbWTrx_5KmFsuYjBx_Toa9uLAgsIWIXvzkLVa27aJi4,7546
unigram/grammars/FOL.py,sha256=JTU6oslU_L_xqsWwQ0_rvxgITJfO6Q-HCHfLd06gknQ,12855
unigram/grammars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
unigram/production.py,sha256=7dANka1hNPuGElksuE0VpYdAph6PlfRQ39XKlDuwZCI,7224
unigram/solver_utils/.ipynb_checkpoints/tptp-checkpoint.py,sha256=0_MxMIIM3OrtzqaD5RHu8XDwHNTfS4RiWTFy3uW4W3A,4453
unigram/solver_utils/tptp.py,sha256=0_MxMIIM3OrtzqaD5RHu8XDwHNTfS4RiWTFy3uW4W3A,4453
unigram-0.8.0.dist-info/LICENSE,sha256=AjkA-87NfK2z95LX0J4yYT1eQztOdEyDvO5R6hwy-Zc,1063
unigram-0.8.0.dist-info/METADATA,sha256=EULE1qK28EhPscrSSZh2AbjX659-m2fN7gBmIxOVizk,3141
unigram-0.8.0.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
unigram-0.8.0.dist-info/RECORD,,
