Work on semantics documentation