A-functionality. Added characterizations of sensors for robot in graph and table form.