%agent: K(x) %agent: S(a b{u p} c{u p}) %init: 1000 K() %init: 1000 S() 'K.S' K(x[.]),S(a[.]) -> K(x[1]),S(a[1]) @ 1 'b+' S(a[_] b{u}) -> S(a[_] b{p}) @ 100 'K..S' S(a[_]) -> S(a[.]) @ 10 'c+' S(a[_] c{u}) -> S(a[_] c{p}) @ 1 %obs: 'S++' |S(b{p} c{p})| %mod: [true] do $TRACK 'S++' [true] ; %mod: [T]>1 /* 0.3 */ do $STOP ;