Assertion: pascal's rule | /r/HasProperty | supported by static analysis tools
Facets:
value: sometimes
type: TEMPORAL
Source sentences:
text: These rules are sometimes supported by static analysis tools that check source code for adherence.