As a first step in the syntactic definition of a language, the set of categories or types is stated.
structural ambiguity in G can be appreciated, for instance, in relation to the granularity of graphical objects, as the same drawing will have different syntactic analysis depending on whether it is interpreted as a whole or as an aggregation of parts.