%agent: K(x) %agent: S(x{u p},y{u p},k) %init: 10 K() %init: 10 S() K(x[.]),S(k[.]) -> K(x[1]),S(k[1]) @1 K(x[1]),S(k[1]) -> K(x[.]),S(k[.]) @1 K(x[1]),S(k[1],x{u}) -> K(x[1]),S(k[1],x{p}) @10 K(x[1]),S(k[1],y{u}) -> K(x[1]),S(k[1],y{p}) @10 S(x{p}) -> S(x{u}) @1 S(y{p}) -> S(y{u}) @1 %obs: 'goal' |S(x{p},y{p})| S(x{p},y{p}) -> . @ 100 %mod: [true] do $TRACK 'goal' [true];