add semantics example back in