UNIT-4-clause-semantics.pdf