Simple focused inference demo.
Readability improvements.
Added some subsumes? functions.