[rules-users] Does generated graph rules is build to respect a disjunctive normal form ?