Working on semantic tests