In reply to dave_59:
Thanks Dave,
I was confused with the order of ‘not’ and ‘always’.
An alternative which works ( provided the latter is part of sequence body ) as well
property ab;
@(posedge clk) seq1 |=> not( seq2.triggered[->1] );
endproperty
Is there any preference between the two solution ? or can I easily swap one with the other