One thing to be aware of is that in Mathematica, when one mentions “rules” one is typically referring to things with head Rule or a List thereof. What you are dealing with in this case is assumptions.
I realize this is just nomenclature and not in general a big deal. But it is helpful to have the right terminology in the subject header since, for many people, that can determine what gets read.