System verilog assertion writing multiple statments in sequence

In reply to Fiona Feng:

Because your expressions contain property operators. Implication (if/else, |->} can only be used in a property. Sequence operators (##N) can be used in a property, but not the other way around.