In a declarative rule-base , one rule is dependent on another if the conditions of the dependent rule include clauses that are asserted by the other rule.
