In reply to ben@SystemVerilog.us:
Thanks ben for clarification.
in expression null or (exp) or (exp ##1 exp) or … intersect seq
the null doesn’t add any meaning as it is not of the form A[*0] ##1 b.
it seems (exp) [*0:] intersect seq , (exp) [*1:] intersect seq both are same. could you confirm .
I tried one example and find out both are same.