initial semantics content

This is taken mostly from the next part of Nicole's notes. It needs
some work