added a subclass rule to exa/.../datalogplus_min.ruleml
Merge pull request #65 from greenTara/1.01-dev

added a subclass rule to exa/.../datalogplus_min.ruleml