-
Notifications
You must be signed in to change notification settings - Fork 0
/
pheromone.paloma
389 lines (210 loc) · 36.6 KB
/
pheromone.paloma
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
#params
param lambda=0.35;
param mu=0.5;
param p=1;
param offr = 0.05;
param onr=0.25;
#states
Sensor0(0,0):= (off, offr).Sensor_off(0,0)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(0,0)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(0,0)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(0,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,0);
Sensor1(0,0):= (off, offr).Sensor_off(0,0)+(evapor, mu).Sensor0(0,0)+!(m1, lambda)@IR{(0,0),(0,1),(1,0)}.Sensor1(0,0)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(0,0)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(0,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,0);
Sensor2(0,0):= (off, offr).Sensor_off(0,0)+(evapor, mu).Sensor1(0,0)+!(m2, lambda)@IR{(0,0),(0,1),(1,0)}.Sensor2(0,0)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(0,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,0);
Sensor3(0,0):= (off, offr).Sensor_off(0,0)+(evapor, mu).Sensor2(0,0)+!(m3, lambda)@IR{(0,0),(0,1),(1,0)}.Sensor3(0,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,0);
Sensor4(0,0):= (off, offr).Sensor_off(0,0)+(evapor, mu).Sensor3(0,0)+!(m4, lambda)@IR{(0,0),(0,1),(1,0)}.Sensor4(0,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,0);
Sensor5(0,0):= (off, offr).Sensor_off(0,0)+(evapor, mu).Sensor4(0,0)+!(m5, lambda)@IR{(0,0),(0,1),(1,0)}.Sensor5(0,0);
Sensor_off(0,0):= (on, onr).Sensor0(0,0);
Sensor0(0,1):= (off, offr).Sensor_off(0,1)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(0,1)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(0,1)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(0,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,1);
Sensor1(0,1):= (off, offr).Sensor_off(0,1)+(evapor, mu).Sensor0(0,1)+!(m1, lambda)@IR{(0,1),(0,2),(1,1),(0,0)}.Sensor1(0,1)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(0,1)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(0,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,1);
Sensor2(0,1):= (off, offr).Sensor_off(0,1)+(evapor, mu).Sensor1(0,1)+!(m2, lambda)@IR{(0,1),(0,2),(1,1),(0,0)}.Sensor2(0,1)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(0,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,1);
Sensor3(0,1):= (off, offr).Sensor_off(0,1)+(evapor, mu).Sensor2(0,1)+!(m3, lambda)@IR{(0,1),(0,2),(1,1),(0,0)}.Sensor3(0,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,1);
Sensor4(0,1):= (off, offr).Sensor_off(0,1)+(evapor, mu).Sensor3(0,1)+!(m4, lambda)@IR{(0,1),(0,2),(1,1),(0,0)}.Sensor4(0,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,1);
Sensor5(0,1):= (off, offr).Sensor_off(0,1)+(evapor, mu).Sensor4(0,1)+!(m5, lambda)@IR{(0,1),(0,2),(1,1),(0,0)}.Sensor5(0,1);
Sensor_off(0,1):= (on, onr).Sensor0(0,1);
Sensor0(0,2):= (off, offr).Sensor_off(0,2)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(0,2)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(0,2)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(0,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,2);
Sensor1(0,2):= (off, offr).Sensor_off(0,2)+(evapor, mu).Sensor0(0,2)+!(m1, lambda)@IR{(0,2),(1,2),(0,1),(0,3)}.Sensor1(0,2)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(0,2)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(0,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,2);
Sensor2(0,2):= (off, offr).Sensor_off(0,2)+(evapor, mu).Sensor1(0,2)+!(m2, lambda)@IR{(0,2),(1,2),(0,1),(0,3)}.Sensor2(0,2)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(0,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,2);
Sensor3(0,2):= (off, offr).Sensor_off(0,2)+(evapor, mu).Sensor2(0,2)+!(m3, lambda)@IR{(0,2),(1,2),(0,1),(0,3)}.Sensor3(0,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,2);
Sensor4(0,2):= (off, offr).Sensor_off(0,2)+(evapor, mu).Sensor3(0,2)+!(m4, lambda)@IR{(0,2),(1,2),(0,1),(0,3)}.Sensor4(0,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,2);
Sensor5(0,2):= (off, offr).Sensor_off(0,2)+(evapor, mu).Sensor4(0,2)+!(m5, lambda)@IR{(0,2),(1,2),(0,1),(0,3)}.Sensor5(0,2);
Sensor_off(0,2):= (on, onr).Sensor0(0,2);
Sensor0(0,3):= (off, offr).Sensor_off(0,3)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(0,3)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(0,3)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(0,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,3);
Sensor1(0,3):= (off, offr).Sensor_off(0,3)+(evapor, mu).Sensor0(0,3)+!(m1, lambda)@IR{(0,3),(0,2),(0,4),(1,3)}.Sensor1(0,3)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(0,3)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(0,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,3);
Sensor2(0,3):= (off, offr).Sensor_off(0,3)+(evapor, mu).Sensor1(0,3)+!(m2, lambda)@IR{(0,3),(0,2),(0,4),(1,3)}.Sensor2(0,3)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(0,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,3);
Sensor3(0,3):= (off, offr).Sensor_off(0,3)+(evapor, mu).Sensor2(0,3)+!(m3, lambda)@IR{(0,3),(0,2),(0,4),(1,3)}.Sensor3(0,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,3);
Sensor4(0,3):= (off, offr).Sensor_off(0,3)+(evapor, mu).Sensor3(0,3)+!(m4, lambda)@IR{(0,3),(0,2),(0,4),(1,3)}.Sensor4(0,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,3);
Sensor5(0,3):= (off, offr).Sensor_off(0,3)+(evapor, mu).Sensor4(0,3)+!(m5, lambda)@IR{(0,3),(0,2),(0,4),(1,3)}.Sensor5(0,3);
Sensor_off(0,3):= (on, onr).Sensor0(0,3);
Sensor0(0,4):= (off, offr).Sensor_off(0,4)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(0,4)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(0,4)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(0,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,4);
Sensor1(0,4):= (off, offr).Sensor_off(0,4)+(evapor, mu).Sensor0(0,4)+!(m1, lambda)@IR{(0,4),(0,3),(1,4)}.Sensor1(0,4)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(0,4)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(0,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,4);
Sensor2(0,4):= (off, offr).Sensor_off(0,4)+(evapor, mu).Sensor1(0,4)+!(m2, lambda)@IR{(0,4),(0,3),(1,4)}.Sensor2(0,4)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(0,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,4);
Sensor3(0,4):= (off, offr).Sensor_off(0,4)+(evapor, mu).Sensor2(0,4)+!(m3, lambda)@IR{(0,4),(0,3),(1,4)}.Sensor3(0,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(0,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,4);
Sensor4(0,4):= (off, offr).Sensor_off(0,4)+(evapor, mu).Sensor3(0,4)+!(m4, lambda)@IR{(0,4),(0,3),(1,4)}.Sensor4(0,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(0,4);
Sensor5(0,4):= (off, offr).Sensor_off(0,4)+(evapor, mu).Sensor4(0,4)+!(m5, lambda)@IR{(0,4),(0,3),(1,4)}.Sensor5(0,4);
Sensor_off(0,4):= (on, onr).Sensor0(0,4);
Sensor0(1,0):= (off, offr).Sensor_off(1,0)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(1,0)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(1,0)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(1,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,0);
Sensor1(1,0):= (off, offr).Sensor_off(1,0)+(evapor, mu).Sensor0(1,0)+!(m1, lambda)@IR{(1,0),(1,1),(2,0),(0,0)}.Sensor1(1,0)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(1,0)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(1,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,0);
Sensor2(1,0):= (off, offr).Sensor_off(1,0)+(evapor, mu).Sensor1(1,0)+!(m2, lambda)@IR{(1,0),(1,1),(2,0),(0,0)}.Sensor2(1,0)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(1,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,0);
Sensor3(1,0):= (off, offr).Sensor_off(1,0)+(evapor, mu).Sensor2(1,0)+!(m3, lambda)@IR{(1,0),(1,1),(2,0),(0,0)}.Sensor3(1,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,0);
Sensor4(1,0):= (off, offr).Sensor_off(1,0)+(evapor, mu).Sensor3(1,0)+!(m4, lambda)@IR{(1,0),(1,1),(2,0),(0,0)}.Sensor4(1,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,0);
Sensor5(1,0):= (off, offr).Sensor_off(1,0)+(evapor, mu).Sensor4(1,0)+!(m5, lambda)@IR{(1,0),(1,1),(2,0),(0,0)}.Sensor5(1,0);
Sensor_off(1,0):= (on, onr).Sensor0(1,0);
Sensor0(1,1):= (off, offr).Sensor_off(1,1)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(1,1)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(1,1)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(1,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,1);
Sensor1(1,1):= (off, offr).Sensor_off(1,1)+(evapor, mu).Sensor0(1,1)+!(m1, lambda)@IR{(1,1),(2,1),(1,2),(0,1),(1,0)}.Sensor1(1,1)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(1,1)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(1,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,1);
Sensor2(1,1):= (off, offr).Sensor_off(1,1)+(evapor, mu).Sensor1(1,1)+!(m2, lambda)@IR{(1,1),(2,1),(1,2),(0,1),(1,0)}.Sensor2(1,1)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(1,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,1);
Sensor3(1,1):= (off, offr).Sensor_off(1,1)+(evapor, mu).Sensor2(1,1)+!(m3, lambda)@IR{(1,1),(2,1),(1,2),(0,1),(1,0)}.Sensor3(1,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,1);
Sensor4(1,1):= (off, offr).Sensor_off(1,1)+(evapor, mu).Sensor3(1,1)+!(m4, lambda)@IR{(1,1),(2,1),(1,2),(0,1),(1,0)}.Sensor4(1,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,1);
Sensor5(1,1):= (off, offr).Sensor_off(1,1)+(evapor, mu).Sensor4(1,1)+!(m5, lambda)@IR{(1,1),(2,1),(1,2),(0,1),(1,0)}.Sensor5(1,1);
Sensor_off(1,1):= (on, onr).Sensor0(1,1);
Sensor0(1,2):= (off, offr).Sensor_off(1,2)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(1,2)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(1,2)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(1,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,2);
Sensor1(1,2):= (off, offr).Sensor_off(1,2)+(evapor, mu).Sensor0(1,2)+!(m1, lambda)@IR{(1,2),(0,2),(2,2),(1,1),(1,3)}.Sensor1(1,2)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(1,2)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(1,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,2);
Sensor2(1,2):= (off, offr).Sensor_off(1,2)+(evapor, mu).Sensor1(1,2)+!(m2, lambda)@IR{(1,2),(0,2),(2,2),(1,1),(1,3)}.Sensor2(1,2)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(1,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,2);
Sensor3(1,2):= (off, offr).Sensor_off(1,2)+(evapor, mu).Sensor2(1,2)+!(m3, lambda)@IR{(1,2),(0,2),(2,2),(1,1),(1,3)}.Sensor3(1,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,2);
Sensor4(1,2):= (off, offr).Sensor_off(1,2)+(evapor, mu).Sensor3(1,2)+!(m4, lambda)@IR{(1,2),(0,2),(2,2),(1,1),(1,3)}.Sensor4(1,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,2);
Sensor5(1,2):= (off, offr).Sensor_off(1,2)+(evapor, mu).Sensor4(1,2)+!(m5, lambda)@IR{(1,2),(0,2),(2,2),(1,1),(1,3)}.Sensor5(1,2);
Sensor_off(1,2):= (on, onr).Sensor0(1,2);
Sensor0(1,3):= (off, offr).Sensor_off(1,3)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(1,3)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(1,3)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(1,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,3);
Sensor1(1,3):= (off, offr).Sensor_off(1,3)+(evapor, mu).Sensor0(1,3)+!(m1, lambda)@IR{(1,3),(2,3),(1,2),(0,3),(1,4)}.Sensor1(1,3)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(1,3)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(1,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,3);
Sensor2(1,3):= (off, offr).Sensor_off(1,3)+(evapor, mu).Sensor1(1,3)+!(m2, lambda)@IR{(1,3),(2,3),(1,2),(0,3),(1,4)}.Sensor2(1,3)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(1,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,3);
Sensor3(1,3):= (off, offr).Sensor_off(1,3)+(evapor, mu).Sensor2(1,3)+!(m3, lambda)@IR{(1,3),(2,3),(1,2),(0,3),(1,4)}.Sensor3(1,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,3);
Sensor4(1,3):= (off, offr).Sensor_off(1,3)+(evapor, mu).Sensor3(1,3)+!(m4, lambda)@IR{(1,3),(2,3),(1,2),(0,3),(1,4)}.Sensor4(1,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,3);
Sensor5(1,3):= (off, offr).Sensor_off(1,3)+(evapor, mu).Sensor4(1,3)+!(m5, lambda)@IR{(1,3),(2,3),(1,2),(0,3),(1,4)}.Sensor5(1,3);
Sensor_off(1,3):= (on, onr).Sensor0(1,3);
Sensor0(1,4):= (off, offr).Sensor_off(1,4)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(1,4)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(1,4)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(1,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,4);
Sensor1(1,4):= (off, offr).Sensor_off(1,4)+(evapor, mu).Sensor0(1,4)+!(m1, lambda)@IR{(1,4),(0,4),(2,4),(1,3)}.Sensor1(1,4)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(1,4)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(1,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,4);
Sensor2(1,4):= (off, offr).Sensor_off(1,4)+(evapor, mu).Sensor1(1,4)+!(m2, lambda)@IR{(1,4),(0,4),(2,4),(1,3)}.Sensor2(1,4)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(1,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,4);
Sensor3(1,4):= (off, offr).Sensor_off(1,4)+(evapor, mu).Sensor2(1,4)+!(m3, lambda)@IR{(1,4),(0,4),(2,4),(1,3)}.Sensor3(1,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(1,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,4);
Sensor4(1,4):= (off, offr).Sensor_off(1,4)+(evapor, mu).Sensor3(1,4)+!(m4, lambda)@IR{(1,4),(0,4),(2,4),(1,3)}.Sensor4(1,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(1,4);
Sensor5(1,4):= (off, offr).Sensor_off(1,4)+(evapor, mu).Sensor4(1,4)+!(m5, lambda)@IR{(1,4),(0,4),(2,4),(1,3)}.Sensor5(1,4);
Sensor_off(1,4):= (on, onr).Sensor0(1,4);
Sensor0(2,0):= (off, offr).Sensor_off(2,0)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(2,0)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(2,0)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(2,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,0);
Sensor1(2,0):= (off, offr).Sensor_off(2,0)+(evapor, mu).Sensor0(2,0)+!(m1, lambda)@IR{(2,0),(2,1),(3,0),(1,0)}.Sensor1(2,0)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(2,0)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(2,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,0);
Sensor2(2,0):= (off, offr).Sensor_off(2,0)+(evapor, mu).Sensor1(2,0)+!(m2, lambda)@IR{(2,0),(2,1),(3,0),(1,0)}.Sensor2(2,0)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(2,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,0);
Sensor3(2,0):= (off, offr).Sensor_off(2,0)+(evapor, mu).Sensor2(2,0)+!(m3, lambda)@IR{(2,0),(2,1),(3,0),(1,0)}.Sensor3(2,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,0);
Sensor4(2,0):= (off, offr).Sensor_off(2,0)+(evapor, mu).Sensor3(2,0)+!(m4, lambda)@IR{(2,0),(2,1),(3,0),(1,0)}.Sensor4(2,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,0);
Sensor5(2,0):= (off, offr).Sensor_off(2,0)+(evapor, mu).Sensor4(2,0)+!(m5, lambda)@IR{(2,0),(2,1),(3,0),(1,0)}.Sensor5(2,0);
Sensor_off(2,0):= (on, onr).Sensor0(2,0);
Sensor0(2,1):= (off, offr).Sensor_off(2,1)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(2,1)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(2,1)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(2,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,1);
Sensor1(2,1):= (off, offr).Sensor_off(2,1)+(evapor, mu).Sensor0(2,1)+!(m1, lambda)@IR{(2,1),(2,2),(1,1),(2,0),(3,1)}.Sensor1(2,1)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(2,1)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(2,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,1);
Sensor2(2,1):= (off, offr).Sensor_off(2,1)+(evapor, mu).Sensor1(2,1)+!(m2, lambda)@IR{(2,1),(2,2),(1,1),(2,0),(3,1)}.Sensor2(2,1)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(2,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,1);
Sensor3(2,1):= (off, offr).Sensor_off(2,1)+(evapor, mu).Sensor2(2,1)+!(m3, lambda)@IR{(2,1),(2,2),(1,1),(2,0),(3,1)}.Sensor3(2,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,1);
Sensor4(2,1):= (off, offr).Sensor_off(2,1)+(evapor, mu).Sensor3(2,1)+!(m4, lambda)@IR{(2,1),(2,2),(1,1),(2,0),(3,1)}.Sensor4(2,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,1);
Sensor5(2,1):= (off, offr).Sensor_off(2,1)+(evapor, mu).Sensor4(2,1)+!(m5, lambda)@IR{(2,1),(2,2),(1,1),(2,0),(3,1)}.Sensor5(2,1);
Sensor_off(2,1):= (on, onr).Sensor0(2,1);
Sensor0(2,2):= (off, offr).Sensor_off(2,2)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(2,2)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(2,2)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(2,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,2);
Sensor1(2,2):= (off, offr).Sensor_off(2,2)+(evapor, mu).Sensor0(2,2)+!(m1, lambda)@IR{(2,2),(2,1),(2,3),(1,2),(3,2)}.Sensor1(2,2)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(2,2)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(2,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,2);
Sensor2(2,2):= (off, offr).Sensor_off(2,2)+(evapor, mu).Sensor1(2,2)+!(m2, lambda)@IR{(2,2),(2,1),(2,3),(1,2),(3,2)}.Sensor2(2,2)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(2,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,2);
Sensor3(2,2):= (off, offr).Sensor_off(2,2)+(evapor, mu).Sensor2(2,2)+!(m3, lambda)@IR{(2,2),(2,1),(2,3),(1,2),(3,2)}.Sensor3(2,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,2);
Sensor4(2,2):= (off, offr).Sensor_off(2,2)+(evapor, mu).Sensor3(2,2)+!(m4, lambda)@IR{(2,2),(2,1),(2,3),(1,2),(3,2)}.Sensor4(2,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,2);
Sensor5(2,2):= (off, offr).Sensor_off(2,2)+(evapor, mu).Sensor4(2,2)+!(m5, lambda)@IR{(2,2),(2,1),(2,3),(1,2),(3,2)}.Sensor5(2,2);
Sensor_off(2,2):= (on, onr).Sensor0(2,2);
Sensor0(2,3):= (off, offr).Sensor_off(2,3)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(2,3)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(2,3)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(2,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,3);
Sensor1(2,3):= (off, offr).Sensor_off(2,3)+(evapor, mu).Sensor0(2,3)+!(m1, lambda)@IR{(2,3),(2,2),(2,4),(1,3),(3,3)}.Sensor1(2,3)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(2,3)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(2,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,3);
Sensor2(2,3):= (off, offr).Sensor_off(2,3)+(evapor, mu).Sensor1(2,3)+!(m2, lambda)@IR{(2,3),(2,2),(2,4),(1,3),(3,3)}.Sensor2(2,3)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(2,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,3);
Sensor3(2,3):= (off, offr).Sensor_off(2,3)+(evapor, mu).Sensor2(2,3)+!(m3, lambda)@IR{(2,3),(2,2),(2,4),(1,3),(3,3)}.Sensor3(2,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,3);
Sensor4(2,3):= (off, offr).Sensor_off(2,3)+(evapor, mu).Sensor3(2,3)+!(m4, lambda)@IR{(2,3),(2,2),(2,4),(1,3),(3,3)}.Sensor4(2,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,3);
Sensor5(2,3):= (off, offr).Sensor_off(2,3)+(evapor, mu).Sensor4(2,3)+!(m5, lambda)@IR{(2,3),(2,2),(2,4),(1,3),(3,3)}.Sensor5(2,3);
Sensor_off(2,3):= (on, onr).Sensor0(2,3);
Sensor0(2,4):= (off, offr).Sensor_off(2,4)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(2,4)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(2,4)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(2,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,4);
Sensor1(2,4):= (off, offr).Sensor_off(2,4)+(evapor, mu).Sensor0(2,4)+!(m1, lambda)@IR{(2,4),(2,3),(3,4),(1,4)}.Sensor1(2,4)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(2,4)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(2,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,4);
Sensor2(2,4):= (off, offr).Sensor_off(2,4)+(evapor, mu).Sensor1(2,4)+!(m2, lambda)@IR{(2,4),(2,3),(3,4),(1,4)}.Sensor2(2,4)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(2,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,4);
Sensor3(2,4):= (off, offr).Sensor_off(2,4)+(evapor, mu).Sensor2(2,4)+!(m3, lambda)@IR{(2,4),(2,3),(3,4),(1,4)}.Sensor3(2,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(2,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,4);
Sensor4(2,4):= (off, offr).Sensor_off(2,4)+(evapor, mu).Sensor3(2,4)+!(m4, lambda)@IR{(2,4),(2,3),(3,4),(1,4)}.Sensor4(2,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(2,4);
Sensor5(2,4):= (off, offr).Sensor_off(2,4)+(evapor, mu).Sensor4(2,4)+!(m5, lambda)@IR{(2,4),(2,3),(3,4),(1,4)}.Sensor5(2,4);
Sensor_off(2,4):= (on, onr).Sensor0(2,4);
Sensor0(3,0):= (off, offr).Sensor_off(3,0)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(3,0)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(3,0)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(3,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,0);
Sensor1(3,0):= (off, offr).Sensor_off(3,0)+(evapor, mu).Sensor0(3,0)+!(m1, lambda)@IR{(3,0),(4,0),(2,0),(3,1)}.Sensor1(3,0)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(3,0)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(3,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,0);
Sensor2(3,0):= (off, offr).Sensor_off(3,0)+(evapor, mu).Sensor1(3,0)+!(m2, lambda)@IR{(3,0),(4,0),(2,0),(3,1)}.Sensor2(3,0)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(3,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,0);
Sensor3(3,0):= (off, offr).Sensor_off(3,0)+(evapor, mu).Sensor2(3,0)+!(m3, lambda)@IR{(3,0),(4,0),(2,0),(3,1)}.Sensor3(3,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,0);
Sensor4(3,0):= (off, offr).Sensor_off(3,0)+(evapor, mu).Sensor3(3,0)+!(m4, lambda)@IR{(3,0),(4,0),(2,0),(3,1)}.Sensor4(3,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,0);
Sensor5(3,0):= (off, offr).Sensor_off(3,0)+(evapor, mu).Sensor4(3,0)+!(m5, lambda)@IR{(3,0),(4,0),(2,0),(3,1)}.Sensor5(3,0);
Sensor_off(3,0):= (on, onr).Sensor0(3,0);
Sensor0(3,1):= (off, offr).Sensor_off(3,1)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(3,1)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(3,1)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(3,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,1);
Sensor1(3,1):= (off, offr).Sensor_off(3,1)+(evapor, mu).Sensor0(3,1)+!(m1, lambda)@IR{(3,1),(2,1),(3,0),(3,2),(4,1)}.Sensor1(3,1)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(3,1)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(3,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,1);
Sensor2(3,1):= (off, offr).Sensor_off(3,1)+(evapor, mu).Sensor1(3,1)+!(m2, lambda)@IR{(3,1),(2,1),(3,0),(3,2),(4,1)}.Sensor2(3,1)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(3,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,1);
Sensor3(3,1):= (off, offr).Sensor_off(3,1)+(evapor, mu).Sensor2(3,1)+!(m3, lambda)@IR{(3,1),(2,1),(3,0),(3,2),(4,1)}.Sensor3(3,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,1);
Sensor4(3,1):= (off, offr).Sensor_off(3,1)+(evapor, mu).Sensor3(3,1)+!(m4, lambda)@IR{(3,1),(2,1),(3,0),(3,2),(4,1)}.Sensor4(3,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,1);
Sensor5(3,1):= (off, offr).Sensor_off(3,1)+(evapor, mu).Sensor4(3,1)+!(m5, lambda)@IR{(3,1),(2,1),(3,0),(3,2),(4,1)}.Sensor5(3,1);
Sensor_off(3,1):= (on, onr).Sensor0(3,1);
Sensor0(3,2):= (off, offr).Sensor_off(3,2)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(3,2)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(3,2)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(3,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,2);
Sensor1(3,2):= (off, offr).Sensor_off(3,2)+(evapor, mu).Sensor0(3,2)+!(m1, lambda)@IR{(3,2),(2,2),(4,2),(3,1),(3,3)}.Sensor1(3,2)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(3,2)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(3,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,2);
Sensor2(3,2):= (off, offr).Sensor_off(3,2)+(evapor, mu).Sensor1(3,2)+!(m2, lambda)@IR{(3,2),(2,2),(4,2),(3,1),(3,3)}.Sensor2(3,2)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(3,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,2);
Sensor3(3,2):= (off, offr).Sensor_off(3,2)+(evapor, mu).Sensor2(3,2)+!(m3, lambda)@IR{(3,2),(2,2),(4,2),(3,1),(3,3)}.Sensor3(3,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,2);
Sensor4(3,2):= (off, offr).Sensor_off(3,2)+(evapor, mu).Sensor3(3,2)+!(m4, lambda)@IR{(3,2),(2,2),(4,2),(3,1),(3,3)}.Sensor4(3,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,2);
Sensor5(3,2):= (off, offr).Sensor_off(3,2)+(evapor, mu).Sensor4(3,2)+!(m5, lambda)@IR{(3,2),(2,2),(4,2),(3,1),(3,3)}.Sensor5(3,2);
Sensor_off(3,2):= (on, onr).Sensor0(3,2);
Sensor0(3,3):= (off, offr).Sensor_off(3,3)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(3,3)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(3,3)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(3,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,3);
Sensor1(3,3):= (off, offr).Sensor_off(3,3)+(evapor, mu).Sensor0(3,3)+!(m1, lambda)@IR{(3,3),(2,3),(3,2),(3,4),(4,3)}.Sensor1(3,3)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(3,3)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(3,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,3);
Sensor2(3,3):= (off, offr).Sensor_off(3,3)+(evapor, mu).Sensor1(3,3)+!(m2, lambda)@IR{(3,3),(2,3),(3,2),(3,4),(4,3)}.Sensor2(3,3)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(3,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,3);
Sensor3(3,3):= (off, offr).Sensor_off(3,3)+(evapor, mu).Sensor2(3,3)+!(m3, lambda)@IR{(3,3),(2,3),(3,2),(3,4),(4,3)}.Sensor3(3,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,3);
Sensor4(3,3):= (off, offr).Sensor_off(3,3)+(evapor, mu).Sensor3(3,3)+!(m4, lambda)@IR{(3,3),(2,3),(3,2),(3,4),(4,3)}.Sensor4(3,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,3);
Sensor5(3,3):= (off, offr).Sensor_off(3,3)+(evapor, mu).Sensor4(3,3)+!(m5, lambda)@IR{(3,3),(2,3),(3,2),(3,4),(4,3)}.Sensor5(3,3);
Sensor_off(3,3):= (on, onr).Sensor0(3,3);
Sensor0(3,4):= (off, offr).Sensor_off(3,4)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(3,4)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(3,4)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(3,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,4);
Sensor1(3,4):= (off, offr).Sensor_off(3,4)+(evapor, mu).Sensor0(3,4)+!(m1, lambda)@IR{(3,4),(4,4),(2,4),(3,3)}.Sensor1(3,4)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(3,4)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(3,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,4);
Sensor2(3,4):= (off, offr).Sensor_off(3,4)+(evapor, mu).Sensor1(3,4)+!(m2, lambda)@IR{(3,4),(4,4),(2,4),(3,3)}.Sensor2(3,4)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(3,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,4);
Sensor3(3,4):= (off, offr).Sensor_off(3,4)+(evapor, mu).Sensor2(3,4)+!(m3, lambda)@IR{(3,4),(4,4),(2,4),(3,3)}.Sensor3(3,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(3,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,4);
Sensor4(3,4):= (off, offr).Sensor_off(3,4)+(evapor, mu).Sensor3(3,4)+!(m4, lambda)@IR{(3,4),(4,4),(2,4),(3,3)}.Sensor4(3,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(3,4);
Sensor5(3,4):= (off, offr).Sensor_off(3,4)+(evapor, mu).Sensor4(3,4)+!(m5, lambda)@IR{(3,4),(4,4),(2,4),(3,3)}.Sensor5(3,4);
Sensor_off(3,4):= (on, onr).Sensor0(3,4);
Sensor0(4,0):= (off, offr).Sensor_off(4,0)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(4,0)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(4,0)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(4,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,0);
Sensor1(4,0):= (off, offr).Sensor_off(4,0)+(evapor, mu).Sensor0(4,0)+!(m1, lambda)@IR{(4,0),(3,0),(4,1)}.Sensor1(4,0)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(4,0)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(4,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,0);
Sensor2(4,0):= (off, offr).Sensor_off(4,0)+(evapor, mu).Sensor1(4,0)+!(m2, lambda)@IR{(4,0),(3,0),(4,1)}.Sensor2(4,0)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(4,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,0);
Sensor3(4,0):= (off, offr).Sensor_off(4,0)+(evapor, mu).Sensor2(4,0)+!(m3, lambda)@IR{(4,0),(3,0),(4,1)}.Sensor3(4,0)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,0);
Sensor4(4,0):= (off, offr).Sensor_off(4,0)+(evapor, mu).Sensor3(4,0)+!(m4, lambda)@IR{(4,0),(3,0),(4,1)}.Sensor4(4,0)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,0);
Sensor5(4,0):= (off, offr).Sensor_off(4,0)+(evapor, mu).Sensor4(4,0)+!(m5, lambda)@IR{(4,0),(3,0),(4,1)}.Sensor5(4,0);
Sensor_off(4,0):= (on, onr).Sensor0(4,0);
Sensor0(4,1):= (off, offr).Sensor_off(4,1)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(4,1)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(4,1)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(4,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,1);
Sensor1(4,1):= (off, offr).Sensor_off(4,1)+(evapor, mu).Sensor0(4,1)+!(m1, lambda)@IR{(4,1),(4,2),(4,0),(3,1)}.Sensor1(4,1)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(4,1)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(4,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,1);
Sensor2(4,1):= (off, offr).Sensor_off(4,1)+(evapor, mu).Sensor1(4,1)+!(m2, lambda)@IR{(4,1),(4,2),(4,0),(3,1)}.Sensor2(4,1)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(4,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,1);
Sensor3(4,1):= (off, offr).Sensor_off(4,1)+(evapor, mu).Sensor2(4,1)+!(m3, lambda)@IR{(4,1),(4,2),(4,0),(3,1)}.Sensor3(4,1)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,1);
Sensor4(4,1):= (off, offr).Sensor_off(4,1)+(evapor, mu).Sensor3(4,1)+!(m4, lambda)@IR{(4,1),(4,2),(4,0),(3,1)}.Sensor4(4,1)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,1);
Sensor5(4,1):= (off, offr).Sensor_off(4,1)+(evapor, mu).Sensor4(4,1)+!(m5, lambda)@IR{(4,1),(4,2),(4,0),(3,1)}.Sensor5(4,1);
Sensor_off(4,1):= (on, onr).Sensor0(4,1);
Sensor0(4,2):= (off, offr).Sensor_off(4,2)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(4,2)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(4,2)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(4,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,2);
Sensor1(4,2):= (off, offr).Sensor_off(4,2)+(evapor, mu).Sensor0(4,2)+!(m1, lambda)@IR{(4,2),(3,2),(4,1),(4,3)}.Sensor1(4,2)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(4,2)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(4,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,2);
Sensor2(4,2):= (off, offr).Sensor_off(4,2)+(evapor, mu).Sensor1(4,2)+!(m2, lambda)@IR{(4,2),(3,2),(4,1),(4,3)}.Sensor2(4,2)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(4,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,2);
Sensor3(4,2):= (off, offr).Sensor_off(4,2)+(evapor, mu).Sensor2(4,2)+!(m3, lambda)@IR{(4,2),(3,2),(4,1),(4,3)}.Sensor3(4,2)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,2);
Sensor4(4,2):= (off, offr).Sensor_off(4,2)+(evapor, mu).Sensor3(4,2)+!(m4, lambda)@IR{(4,2),(3,2),(4,1),(4,3)}.Sensor4(4,2)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,2);
Sensor5(4,2):= (off, offr).Sensor_off(4,2)+(evapor, mu).Sensor4(4,2)+!(m5, lambda)@IR{(4,2),(3,2),(4,1),(4,3)}.Sensor5(4,2);
Sensor_off(4,2):= (on, onr).Sensor0(4,2);
Sensor0(4,3):= (off, offr).Sensor_off(4,3)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(4,3)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(4,3)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(4,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,3);
Sensor1(4,3):= (off, offr).Sensor_off(4,3)+(evapor, mu).Sensor0(4,3)+!(m1, lambda)@IR{(4,3),(4,2),(4,4),(3,3)}.Sensor1(4,3)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(4,3)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(4,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,3);
Sensor2(4,3):= (off, offr).Sensor_off(4,3)+(evapor, mu).Sensor1(4,3)+!(m2, lambda)@IR{(4,3),(4,2),(4,4),(3,3)}.Sensor2(4,3)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(4,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,3);
Sensor3(4,3):= (off, offr).Sensor_off(4,3)+(evapor, mu).Sensor2(4,3)+!(m3, lambda)@IR{(4,3),(4,2),(4,4),(3,3)}.Sensor3(4,3)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,3);
Sensor4(4,3):= (off, offr).Sensor_off(4,3)+(evapor, mu).Sensor3(4,3)+!(m4, lambda)@IR{(4,3),(4,2),(4,4),(3,3)}.Sensor4(4,3)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,3);
Sensor5(4,3):= (off, offr).Sensor_off(4,3)+(evapor, mu).Sensor4(4,3)+!(m5, lambda)@IR{(4,3),(4,2),(4,4),(3,3)}.Sensor5(4,3);
Sensor_off(4,3):= (on, onr).Sensor0(4,3);
Sensor0(4,4):= (off, offr).Sensor_off(4,4)+?(m1, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor1(4,4)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(4,4)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(4,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,4);
Sensor1(4,4):= (off, offr).Sensor_off(4,4)+(evapor, mu).Sensor0(4,4)+!(m1, lambda)@IR{(4,4),(3,4),(4,3)}.Sensor1(4,4)+?(m2, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor2(4,4)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(4,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,4);
Sensor2(4,4):= (off, offr).Sensor_off(4,4)+(evapor, mu).Sensor1(4,4)+!(m2, lambda)@IR{(4,4),(3,4),(4,3)}.Sensor2(4,4)+?(m3, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor3(4,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,4);
Sensor3(4,4):= (off, offr).Sensor_off(4,4)+(evapor, mu).Sensor2(4,4)+!(m3, lambda)@IR{(4,4),(3,4),(4,3)}.Sensor3(4,4)+?(m4, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor4(4,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,4);
Sensor4(4,4):= (off, offr).Sensor_off(4,4)+(evapor, mu).Sensor3(4,4)+!(m4, lambda)@IR{(4,4),(3,4),(4,3)}.Sensor4(4,4)+?(m5, p)@Pr{1/(dist(loc_s,loc_r)+1)}.Sensor5(4,4);
Sensor5(4,4):= (off, offr).Sensor_off(4,4)+(evapor, mu).Sensor4(4,4)+!(m5, lambda)@IR{(4,4),(3,4),(4,3)}.Sensor5(4,4);
Sensor_off(4,4):= (on, onr).Sensor0(4,4);
Sink(2,2):= !(m5, lambda)@IR{all}.Sink(2,2);
#agents
Sensor0(0,0)[1] ||
Sensor0(0,1)[1] ||
Sensor0(0,2)[1] ||
Sensor0(0,3)[1] ||
Sensor0(0,4)[1] ||
Sensor0(1,0)[1] ||
Sensor0(1,1)[1] ||
Sensor0(1,2)[1] ||
Sensor0(1,3)[1] ||
Sensor0(1,4)[1] ||
Sensor0(2,0)[1] ||
Sensor0(2,1)[1] ||
Sensor0(2,2)[1] ||
Sensor0(2,3)[1] ||
Sensor0(2,4)[1] ||
Sensor0(3,0)[1] ||
Sensor0(3,1)[1] ||
Sensor0(3,2)[1] ||
Sensor0(3,3)[1] ||
Sensor0(3,4)[1] ||
Sensor0(4,0)[1] ||
Sensor0(4,1)[1] ||
Sensor0(4,2)[1] ||
Sensor0(4,3)[1] ||
Sensor0(4,4)[1] ||
Sink(2,2)