let Factor implication calculations refer to other Rules

[mscarey]

A function to determine if a factor implies another (transitively) given a list of factors that imply one another or a function for determining which implication relations (represented by production rules?) are binding from the point of view of a particular court.