Added syntactic restriction on the local specification