r'	annotated(r)
Λ(r')	{ε} ∩ L(r')
P(r')	{c | ∃s.cs ∈ L(r') }
D(r')	{c | ∃s.sc ∈ L(r') }
F(r')	{c₁c₂ | ∃s₁s₂.s₁c₁c₂s₂ ∈ L(r')}