Finish SEMANTICS doc