Isomorphic models for rules and exceptions in legislation