Able to merge relations correctly.
1. Intersection for inferred relations;
2. Union for asserted relations.