Given an abstract rule r =< Note that the intersection of <cite>SRR</cite> NT 2 and <cite>SRR</cite> NT-T is not necessary an empty set, i.e. a rule can be both <cite>SRR</cite> NT 2 and <cite>SRR</cite> NT-T rule.