More precisely, it means to means to ignore any decision points within the previous atom. Those decision points may or may not have been generated by a quantifier on the entire atom. For instance, in [a|b]: the colon disables trying the second alternative if the first alternative succeeds.