#6: just formatting and documentation
added notes for design decisions
Added algorithms, need some refining.. especially the part of explicit to implicit, it seems to me that it should be quite the opposite
#6: introduced denyAntecedent_posTest which fails as expected
also refactored the whole FallacyTest.hs to keep all helper variable definitions local
: introduced denyAntecedent_negTest which is already satisfied as expected
(technically it is just another negative test for isFallacy, not necessarily for the 'Denying the antecedent' fallacy
#6: introduced denyAntecedent_negTest which is already satisfied as expected
(technically it is just another negative test for isFallacy, not necessarily for the 'Denying the antecedent' fallacy
Merge branch 'shlomo.6.fol_to_fallacy' of github.com:gekonwi/brandeis.semantics.final_project into shlomo.6.fol_to_fallacy
more notes
Merge branch 'master' of github.com:gekonwi/brandeis.semantics.final_project
Getting the code for keyword extraction
appeneded TODO
#11: satisfied denyAntecedent_posTest. Closes #11.
merged in shlomo.6.fol_to_fallacy
fixed fallacy code after merge.
extracted Amin's (@amsa) text->FOL code into new file called TextToFOL.hs to have fewer merge conflicts and reflect modularity in file structure
fixed fallacy code after merge.

extracted Amin's (@amsa) text->FOL code into new file called TextToFOL.hs to have fewer merge conflicts and reflect modularity in file structure

#12: introduced affirmConseq_posTest which was expected to fail, but it doesn't!
Merge branch 'master' of github.com:gekonwi/brandeis.semantics.final_project
#12: fixed wrong documentation
fixed fallacy test
Merge branch 'master' of github.com:gekonwi/brandeis.semantics.final_project
#12: added affirmConseq_posTest2 which finally fails as expected
conflict resolved