Assertion: alloy | /r/HasProperty | declarative language
Facets:
Source sentences:
text: Because Alloy is a declarative language the meaning of a model is unaffected by the order of statements.