functional rule search