O 10
P 32
S 1 mode
S 1 camera
S 1 store
S 1 lander
S 1 objective
S 1 waypoint
S 1 rover
S 1 number
S 1 object
S 2 at_lander
S 3 can_traverse
S 1 equipped_for_soil_analysis
S 1 equipped_for_rock_analysis
S 1 equipped_for_imaging
S 2 supports
S 2 visible
S 2 visible_from
S 2 store_of
S 2 calibration_target
S 2 on_board
F 2 at
F 1 empty
F 2 have_rock_analysis
F 2 have_soil_analysis
F 1 full
F 2 calibrated
F 3 have_image
F 1 communicated_soil_data
F 1 communicated_rock_data
F 2 communicated_image_data
F 1 at_soil_sample
F 1 at_rock_sample
N 0
SI 34
8 0
3 0
8 1
0 1
8 2
0 2
8 3
0 3
8 4
6 4
8 5
2 5
8 6
5 6
8 7
5 7
8 8
1 8
8 9
4 9
9 0 6
11 4
13 4
17 5 4
15 6 7
15 7 6
10 4 6 7
10 4 7 6
18 8 9
19 8 4
14 8 2
14 8 3
14 8 1
16 9 7
FI 3
20 4 7
21 5
30 6
NI 0
G 4
27 1 6
29 1 9 2
29 1 9 3
29 1 9 1
NG 0
M none
A 9
navigate 3
L 9
8 1 0
6 1 0
8 1 1
5 1 1
8 1 2
5 1 2
10 1 0 1 2
15 1 1 2
20 1 0 1
NC 0
E 1
0
L 0
NC 0
F 2
20 0 0 1
20 1 0 2
NE 0
NA -
sample_soil 3
L 11
8 1 0
6 1 0
8 1 1
2 1 1
8 1 2
5 1 2
11 1 0
17 1 1 0
20 1 0 2
30 1 2
21 1 1
NC 0
E 1
0
L 0
NC 0
F 4
21 0 1
24 1 1
23 1 0 2
30 0 2
NE 0
NA -
sample_rock 3
L 11
8 1 0
6 1 0
8 1 1
2 1 1
8 1 2
5 1 2
17 1 1 0
12 1 0
20 1 0 2
21 1 1
31 1 2
NC 0
E 1
0
L 0
NC 0
F 4
21 0 1
24 1 1
22 1 0 2
31 0 2
NE 0
NA -
drop 2
L 6
8 1 0
6 1 0
8 1 1
2 1 1
17 1 1 0
24 1 1
NC 0
E 1
0
L 0
NC 0
F 2
24 0 1
21 1 1
NE 0
NA -
calibrate 4
L 13
8 1 0
6 1 0
8 1 1
1 1 1
8 1 2
4 1 2
8 1 3
5 1 3
13 1 0
18 1 1 2
16 1 2 3
19 1 1 0
20 1 0 3
NC 0
E 1
0
L 0
NC 0
F 1
25 1 1 0
NE 0
NA -
take_image 5
L 16
8 1 0
6 1 0
13 1 0
8 1 1
5 1 1
8 1 3
1 1 3
19 1 3 0
8 1 2
4 1 2
8 1 4
0 1 4
14 1 3 4
16 1 2 1
25 1 3 0
20 1 0 1
NC 0
E 1
0
L 0
NC 0
F 2
26 1 0 2 4
25 0 3 0
NE 0
NA -
communicate_soil_data 5
L 14
8 1 2
5 1 2
8 1 0
6 1 0
8 1 3
8 1 4
5 1 4
8 1 1
3 1 1
5 1 3
9 1 1 4
15 1 3 4
20 1 0 3
23 1 0 2
NC 0
E 1
0
L 0
NC 0
F 1
27 1 2
NE 0
NA -
communicate_rock_data 5
L 14
8 1 2
5 1 2
8 1 0
6 1 0
8 1 3
8 1 4
5 1 4
8 1 1
3 1 1
5 1 3
9 1 1 4
15 1 3 4
20 1 0 3
22 1 0 2
NC 0
E 1
0
L 0
NC 0
F 1
28 1 2
NE 0
NA -
communicate_image_data 6
L 16
8 1 0
6 1 0
8 1 2
4 1 2
8 1 1
3 1 1
8 1 4
8 1 5
5 1 5
8 1 3
0 1 3
5 1 4
9 1 1 5
15 1 4 5
26 1 0 2 3
20 1 0 4
NC 0
E 1
0
L 0
NC 0
F 1
29 1 2 3
NE 0
NA -
X 0
