Example rule for expository purposes x1 x2 x3 x4 x1 x2 x3 x4 rel1 1 2 3 x5