Assertion: formal specification | /r/CapableOf | describe the problem
Facets:
value: correctly
type: MANNER
Source sentences:
text: Whether the formal specification correctly describes the problem to be solved is a separate issue.