contents of text-level semantics completed