The type of Text expansion is a Character string.
Text expansion of a Character string is the Character string itself.
Text expansion of an Anchor is the Text expansion of the Text node connected to the Anchor by an Edge.
Text expansion of a Text node is the concatenation of the Text expansions of its elements.
Text expansion of a Text graph is the conjunction of the Text expansions of its Root sentences.