semantic tests