semantic 4