ml-notes-rel-semantics.pdf