import Person

declare Person
name : String = "Joe" @key # here only @key is recognized; the initialization is not done
end

declare Employee extends Person
custno : int @key
name : String = "Joe" @key # here @key and initialization are recognized
end

If it cannot be honoured, the initialization should cause an error.