Rule descriptionc: The body of overlapping rules between the two types;