add semantics doc to list (will only show up when it is there)