add semantics chapter to report