In this example, s 1 = {x 1 , x 2 , x 3 }, s 2 = {x 3 , x 5 , x 3n−1 }, s m = {x 4 , x 3n−1 , x 3n }.
contrary to the typed graphs, untyped graphs that contain ambiguous predicates do not decompose well into small components.