How to write SVA assumption

In reply to dplumb_amd:

t didn’t work as I expected. …

Why are you flagging the constraint as an error? Formal is saying that the design cannot be satisfied with this constraint; loosen the constraint or update the design.
??