Continued defining semantics file