Splitted conjunction functions, updated comments in hobbs.py
Added a unit test for conjunction resolution.
Added an example to README.md, fixed minor bugs.