Assertion: contract | /r/HasProperty | clause ;
Facets:
Source sentences:
text: The @Contract annotation value has the following syntax: contract ::= (clause ‘;’)