[sv-ac] Quick question on .triggered and legality of constructs

Could you please clarify for me the legality and illegality of the
constructs below?
This is my understanding from the LRM. My doubts are on the .triggered on
the actual arguments.
Thanks,
Ben

sequence q; a ##1 b[->1]; endsequence

sequence q2(sequence k);
  @ (posedge clk) m ##1 k;
endsequence

// The following is clearly legal
ap_legal1: assert property( @ (posedge clk) q2(q));

// The following is also legal
ap_legal2: assert property( @ (posedge clk) q2(c ##2 d));
// equivalent to
// assert property(@ (posedge clk) m ##1 c ##2 );

// The following is illegal
ap_illegal1: assert property( @ (posedge clk) q2(k.triggered));

// The following is also illegal
ap_illegal2: assert property( @ (posedge clk) q2(@ (posedge clk) c ##2
d).triggered);

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.