Requirements appear in α 3 and α 1 β 1 in increasing order of link distance.
following Sikkel (1997), items are sets of syntactic structures and tuples are a shorthand notation for such sets, as seen in the previous example.