-------------
Deep Taxonomy
-------------

See http://ruleml.org/WellnessRules/files/WellnessRulesN3-2009-11-10.pdf

The tests are at http://josd.github.io/eye/reasoning/dt/test
