Approximate and Exact Enumeration of Rule Models