%agent: A(x{u p} y{u p}) %init: 1 A() 'xp' A(x{u}) -> A(x{p}) @1 'yp' A(x{p} y{u}) -> A(x{p} y{p}) @1 'xu' A(x{p} y{p}) -> A(x{u} y{p}) @1