EDN rules as sets.