added semantics comments