Pairs of non-terminals