axiom: P

P-->I+[P+fl]--//[--L]I[++L]-[P fl]++P fl
I-->F S[//&&L][//^^L]F S
S-->S F S
L--> [,(2){+f - ff - f+|+f - ff - f }]
fl-->[&&& pe;(5)/ W //// W //// W //// W //// W]
pe-->FF
W-->[;(1)^F][{&&&& -f + f | -f + f}]

endlsystem