Reorg semantics doc
Reorg semantics doc