为什么Relaxed Contiguity的结果不包含Strict Contiguity的结果?

Why the result of Relaxed Contiguity doesn't includes the result of Strict Contiguity?

从Flink CEP的官方文档可以看出,Relaxed Contiguity的结果不包含Strict Contiguity的结果"{a2 b}",但是它包含了结果"{a1 b}",在我理解 Relaxed Contiguity 的结果应该包含 Strict Contiguity 的结果,我也不明白为什么 Relaxed Contiguity 包含结果“{a1 b}”,所以这只是一个错字或者我误解了这个概念 "Relaxed Contiguity"?

以下为官方文档摘录URL

"To illustrate the above with an example, a pattern sequence "a+ b"(一个或多个 "a" 后跟一个 "b"),输入 "a1"、"c"、"a2", "b" 会有以下结果:

Strict Contiguity: {a2 b} – the "c" after "a1" causes "a1" to be discarded.
Relaxed Contiguity: {a1 b} and {a1 a2 b} – c is ignored.
Non-Deterministic Relaxed Contiguity: {a1 b}, {a2 b}, and {a1 a2 b}."

https://ci.apache.org/projects/flink/flink-docs-release-1.5/dev/libs/cep.html

Flink 1.6修复的问题,请参考下面URL https://ci.apache.org/projects/flink/flink-docs-release-1.6/dev/libs/cep.html