base P
rule P I+[P+O]--[--<gL>]I[++<gL>]-[PO]++PO
rule I FS[+<gL>][-<gL>]FS
rule S SFS
rule O <y[++F][+F][F][-F][--F]>