Assertion: interface's method | /r/HasProperty | defined in superinterface
Facets:
Source sentences:
text: It is possible to define methods in a subinterface with the same signature (name + parameters) as methods defined in a superinterface, should you find that desirable in your design, somehow.
text: If you are writing a class that has superinterfaces, you must implement all methods defined in the superinterfaces, or declare the class abstract.