test semantic