<?xml version="1.0" ?><root><atom name="Fork"><behaviour>let 
	prev(id) = (id - 1) % N
	F =	[] i : {id,prev(id)} @ pickup.i.id -&gt; putdown.i.id -&gt; F
within
	F</behaviour><alphabet>{|pickup.i.id,putdown.i.id | i &lt;- {id,((id -1) % N)}|}</alphabet></atom><atom name="Phil"><behaviour>let 
	next(id) = (id + 1) % N
	P = sit.id -&gt; pickup.id.id -&gt; pickup.id!next(id) -&gt; eat.id -&gt; 
	putdown.id.id -&gt; putdown.id!next(id) -&gt; getup.id -&gt; P
	AP = sit.id -&gt; pickup.id!next(id) -&gt; pickup.id.id -&gt; 
	eat.id -&gt; putdown.id!next(id) -&gt; putdown.id.id -&gt;
	 getup.id -&gt; AP
within 
	if id == N-1 then AP else P</behaviour><alphabet>{|pickup.id.i,putdown.id.i,sit.id,getup.id,eat.id | i &lt;- {id,((id +1) %N)}|}</alphabet></atom></root>