induced dependent functions for patterns