Assertion: software | /r/HasProperty | required under normal use
Facets:
value: exactly
type: DEGREE
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.