33
rover
waypoint
can_traverse
available
at
visible
store
at_soil_sample
equipped_for_soil_analysis
store_of
empty
full
have_soil_analysis
at_rock_sample
equipped_for_rock_analysis
have_rock_analysis
camera
objective
equipped_for_imaging
calibration_target
visible_from
on_board
calibrated
mode
supports
have_image
lander
at_lander
channel_free
communicated_soil_data
communicated_rock_data
communicated_image_data
visited
9
empty-store
navigate
send_soil_data
get_soil_data
send_rock_data
get_rock_data
send_image_data
calibrate
get_image_data
11
!navigate
!sample_soil
!sample_rock
!drop
!calibrate
!take_image
!communicate_soil_data
!communicate_rock_data
!communicate_image_data
!visit
!unvisit
