The discussion in section 2.1 explain Property E can be achieved by defining domination range which classify the substrings in a GST into 0(N) classes in 0(N) time.
in addition, the time grows linearly with our corpus size.