Improve semantics explanation