Constructs an annotation string using semantic procedures.