graph rule valid instance