Start on the semantic definitions for the tests