Assertion: specification | /r/HasProperty | written
Facets:
value: correctly
type: MANNER
Source sentences:
text: Related documentation includes a programming language reference, which is intended expressly for users, and a programming language rationale, which explains why the specification is written as it is; these are typically more informal than a specification.
text: If this description is similar to what you intend for your final product, then your specification is correctly written.