Assertion: interface's method | /r/AtLocation | interface
Facets:
Source sentences:
text: (If class Cup didn't implement the methods contained in the interfaces and didn't declare itself abstract, it wouldn't compile.)
text: Class Cup declares that it implements interface Washable , so it must implement each method contained in that interface.