Assertion: class's method | /r/HasProperty | same solution
Facets:
Source sentences:
text: C# and VB.NET like Java have " sealed " and " Not Inheritable " class declaration keywords to prohibit inheritance, and require a subclass to use keyword " override " on overriding methods,  the same solution later adopted by Scala.