Transitivity rules implemented, edge cases covered (deletion, attribute propagation)