a first simple example

rules

po[A]s[B]ibility->[B]foo[A]
po[A]i[B]i[C]y->[A][C]bar[B]xorize
s[A]o[B]->foos

input

possibility