Assertion: vertical prototype | /r/HasProperty | useful
Facets:
Source sentences:
text: It is useful for obtaining detailed requirements for a given function, with the following benefits: