The two occurrence are combined to one occurrence indicator. If occ1 is NO_OCC, the result is occ2 and v.v. If one of them is OCC_REP, the result is OCC_REP. If the occurence of one of them is OCC_PLUS and the other is OCC_OPT, then the result is OCC_REP, otherwise OCC_PLUS.
(elem)+ becomes (elem, (elem)*)This recognizes the same document, but it is easier to use with contextual required elements.