@# match a line which contains some piece of text x @# after the rightmost occurence of : such that the same piece @# of text also occurs at the start of the line preceded by --> @(all) @*junk:@x @(and) -->@x@/.*/ @(end)