some semantic tests