The type of a Text expansion is a String.
Text expansion of a String is the String itself.
Text expansions of an Anchor is the Text expansion
of the 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 Text graph is the conjunction of the Text
expansions of its Root sentences.