CASL Semantics (Part III)