What Is Semantics And Its Types