[axioms]

# [AAABB]
#[AAAXBB]
1 = ["AAXB"]

#[AAABB]

[rules]

X->Xp0,2
p0->p0p1,3
p1->p1A,5
p0p1->,4
p3->p3p4,4
p3->p3Y,2

2,X->
2,p2p3->

3,p1->p1p5

4,p2->p2p3
4,p4p5->

5,A->Ap2
