Assertion: interface's method | /r/HasProperty | virtual
Facets:
Source sentences:
text: a virtual method stays virtual.
text: a method without any modifier stays neither virtual, nor abstract.