Work on semantics docs