Implement Semantics Analysis.