Assertion: interface's member | /r/HasProperty | virtual
Facets:
Source sentences:
text: if there is an implementation and neither abstract, nor sealed are specified, we assume the member is virtual.