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