Reorg semantics doc