defrule support for #4