Rule base analysis