Transitive over

From GO Wiki
Jump to: navigation, search

R1 transitive_over R2, X R1 Y, Y R1 Z => X R1 Z

See Regulates