%measurements fr,r,spo

species(fr;r;spo).
capacity(fr,1).
capacity(r,1).
capacity(spo,1).
state(x0;x1;x2;x3;x4;x5;x6;x7;x8).
terminalState(x0;x4;x8).

value(x0,fr,0).
value(x0,r,0).
value(x0,spo,0).

value(x1,fr,1).
value(x1,r,0).
value(x1,spo,0).

value(x2,fr,0).
value(x2,r,0).
value(x2,spo,0).

value(x3,fr,0).
value(x3,r,0).
value(x3,spo,0).

value(x4,fr,0).
value(x4,r,0).
value(x4,spo,1).

value(x5,fr,0).
value(x5,r,1).
value(x5,spo,0).

value(x6,fr,0).
value(x6,r,1).
value(x6,spo,0).

value(x7,fr,0).
value(x7,r,0).
value(x7,spo,0).

value(x8,fr,0).
value(x8,r,0).
value(x8,spo,1).



pertubation(x0,x1).
pertubation(x2,x5).
pertubation(x3,x6).

response(x1,x2).
response(x2,x3).
response(x3,x4).

response(x5,x0).

response(x6,x7).
response(x7,x8).

response(x1,x2,3).
response(x2,x3,3).
response(x3,x4,3).

response(x5,x0,3).

response(x6,x7,3).
response(x7,x8,3).

