Probability on Constraint in SystemVerilog

SystemVerilog
,
3

In reply to dave_59:

Can we have after → foreach?
like this:

constraint B{
        s2 -> (
            foreach(len[j])
            begin
                if (len[j])
                    begin
                    e1[j:j+6]==7'b0011011;
                    end
            end
        );
    }