DEF DoorSense ProximitySensor { . . . } ROUTE DoorSense.position_changed TO PetRobotFollower.set_translation