Assertion: software's use | /r/HasProperty | normal
Facets:
Source sentences:
text: For example, the software may perform exactly as required under normal use, but the requirements may not correctly deal with some system state.