LRM Example of polymorphism wrong?

In reply to prasadaddagarla:

There is no section in lrm which says re-defining is illegal in class inheritance. Whenever a child class extends base class it gets all it’s contents which includes variables, methods, constraints; now in child class one can re-declare any of these and that would get effective for child class.

Thanks