Once a prototype has been copied, there would … would be explicitly represented using constraints. … there is a fixed set of inheritance constraints … built into the [proposed] language. These are as … field name of x. @ inherits-behavior(x,y). This constraint … @ inherits-protocol(x,y). This constraint holds if … every message that y can understand is also … [the returned values of x obey the corresponding protocols declared in y.] … [If all three constraints hold, then the constraint descendant(x,y) holds.]
Google-1
Google-2
Copyright clearance needed for quotation.