Added syntactically restricted local specification