Test semantic - logic