robotic arm subgroup of arm, 2 assertions