Added provisional README in the semantics directory.