Same-Relation Constraints