activated match_subformula_rule