Text Graph consists of a set of Nodes and a set of Edges.
Node is either a Text Graph or a Text Node.
Text Node contains a sequence of Strings and Anchors.
Edge is an unordered pair of Targets.
Target is either a Node or an Anchor.