filter starter rule with axiom