Basic semantic tests