Rule subsumption logic <Karthik>