User blog comment:Ubersketch/CNFlex/@comment-35470197-20190908003106/@comment-39541634-20190908020046

> 3 has standard expression ABABCABC but it's standard as ABABC>=AB

By your rules, ABABC and AB does not combine to form ABABCABC. In fact, there is no way to construct ABABCABC as a standard expression with your rules.