Split some unit tests out into their own classes.
Added unit test class for articulated propositions.
Added more articulated proposition tests.
Merge pull request #2 from TimCollins/articulated-proposition-tests

Articulated proposition tests