Adding implications to rules