The language Eiffel -- keywords
feature -- attribute, function, procedure
export -- interface declaration
inherit -- class inclusion and subtyping (!)
redefine, rename -- \c{to change} inherited features
deferred -- \c{to} postpone \c{the} implementation
require, ensure, invariant -- assertions