INDUCING FUNCTIONS IN ROBOT DOMAINS