* Added pl-fc-entails section

* Updated README.md

* Updated filename

* Added tests for pl-fc-entails

* Review fixes